The RCA with it's built-in DirecTV HD tuner obviously would work well for a DirecTV subscriber. Just in case, if one wants to go Dish Network instead, and buys a separate HD tuner for DishNetwork, will it work? Is there an input on the RCA to plug the separate tuner in? This is a concern with all the recent rumor about Echostar buying DirecTV and the possibility of merging the 2 different transmission standards. I think the built-in tuner will still function for OTA HD from local channels, correct?