Is there any chance of us ever getting a receiver from Dish like the 622 or 722 with ATSC out on the coax out for TV2 so we can do HD to both TV's?
Fooey. A simple HDMI jack would suffice. Then we wouldn't need to pay for Sling hardware on either end.
I would like to see a receiver that can have an OTA antenna attached to its antenna-in port, then output the OTA signal mixed with its own TV2 signal on the antenna-out port. After 02/17 it would be possible to do this without too much trouble, since most VHF-low channels will be vacant, as will channels 52 and above.