I have a direct tv box in basement. Wanted to be able to watch satellite upstairs. I have a coax cable line that runs from downstairs to upstairs that was built into the house. So I used an RF modulator to run the signal to the upstairs tv via coax. Is it possible to now convert that coax signal to HDMI using some sort of magical converter? Does such a converter or modulator exist?