I have tivo, but have thought about getting it for my brother. Somebody locally is selling a Philips model# DSR708. My brother has an HDTV. I know this box will not record in HD. Is there an HDtivo specifically for DirectTV? Can he use the tivo box with the current box? Also, I read he needs a multi-switch, where can I find one and how do I know which one we will need.? Thank you all for your help.