My new cable TV setup messed up one thing. My basement TV had a cable box and I used the cable-out jack to run about 25-30 ft of coax to a small TV on the shop bench so I could watch whatever was on out in the main room. The new box is tiny and has HDMI, SPDIF and audio/video line level RCA jacks for outputs. Any suggestions which would be best for a run that long? I think I have a TV modulator somewhere so I could convert to Ch. 3 and run cable but it would probably not be very HD. It would work though, if nothing else does.