A friend has a Dish VIP722 receiver in living room connecting to the local HDTV via HDMI. There is also a coax cable running from TV2 output to second room where there is an old TV. All work good. Now he wants to upgrade the old TV to HDTV. The HDTV he is looking at does have a coax connector marked as "ANT". The TV specs say ATSC/QAM tuner. Do you guys think if this HDTV will work in the second room? Will it be able to "see" channel 73 from the VIP722 TV2 output? If not, any other alternatives?