I wonder how expensive a ATSC/QAM modulator would be to incorporate, or if there is even such a thing? I'm sure we'd never see it anyway with the eggs already in the Hopper basket. Probably would have HDCP issues as well.
If you can get 2 runs of cat 5/6 between the two room, you can do HDMI to cat5 and back to mirror the picture.