Trying to help my brother with his recent DISH install into 2 HDTVs. He has a HD DVR into TV1 and with the coax out into TV2, giving TV2 SD content. Is there any way of getting HD local channels on TV2 without a DISH receiver? My brother indicated that the installer put 2 dishes up there. Is one of them an OTA antenna? On the back of his HD DVR, the coax coming in is split to feed the 2 inputs on the receiver. Is that a diplexer splitting an OTA signal and SAT signal or is it just a splitting a SAT signal? My thinking is that if it's an OTA antenna, I can just put a diplexer at TV2 to split the OTA antenna and SAT signal and feed the OTA antenna to TV2 so he can get HD locals. If it is not an OTA antenna, does DISH send the local HD channels unecrypted?