Did Philips discontinue this box? I went online , looking to see if they put up new firmware after not having been there in quite awhile, .... the DVDR3575 is NOT listed among the DVR's....it is, however, there if you search for it by name. What does this imply? Are they no longer making them? Will they still support those of us who do have one? Did I overlook something important?