I've had my DirecTV TIVO for almost 3 years, and now that I have a HD set, I'd like to switch to an HD receiver with a DVR. From what I'm seeing, DirecTV only has 8 HD channels, and the rest you have to grab from OTA. When will other HD channels, especially locals, be added to DirecTV? The directv website is decidedly unhelpful. I'm so far away from the broadcast of HD locals, that I'd have to have one heck of a OTA antenna to have any hope of reeling in a signal. So I really don't want to bother switching until the locals are available on HD.