Do you have a park cable connection?? If not, or instead of, run a jumper from the dish receiver to the cable input on your antenna booster/switch. Then with antenna on, you get that, with antenna off, you get the dish receiver output. If you really want to, and have a park cable connection, you could put an AB switch for that. HDMI splitters are quite expensive, and be aware that some receivers and cable boxed will not work with them. I have a Cable DVR at home that will not work with a HDMI splitter. It detects it, and says it is illegal. So I run one TV on coax, and one on HDMI. Its funny, but it will only supply the HD signal to one or the other, but not to both at the same time. Believe it or not, with HDMI cables, there are (or can be) sneaky things between pieces of equipment. Don't worry about political hacking, its nothing compared to what goes on in your house!