Hello!
Apologies if I misunderstood you, but according to google the 7216 box does have an HDMI output. You could connect this HDMI output to your tuner and then connect the tuner HDMI to the television.
(The HDMI port should be on the back panel of the set top box, next to the USB port)
