Michael has one HDMI port going to his receiver that acts as a kind of switcher. But his antenna goes into coax. Leo says that Michael needs to get a digital box now because nobody really broadcasts in analog anymore. Leo says a TV with digital out could be routed to the tuner, but there will be audio sync issues.
Mediasonic HomeWorx takes over the air HDMI, but that would be an extra tuner to get Dolby 5.1 sound. He should check to see if the HDMI has ARC (audio return channel). if so, then Michael is golden. It comes down to settings on the TV.
Check out Mike's Opera Now Podcast.