Wouldn't it be nice if someone were able to make an HDMI to ATSC converter?  Problem solved!  Wishful thinking...