thinking of switching...I see that DirecTV doesn't have a separate HD lineup like Cox. I notice many channels listed as "HD". Do they downconvert HD siginal to SD if you have an SD set in the house. Not a techie so I hope I'm using the right words.... thanks!