I have the VIP211Z and I need the output to hook into the coax on the back of my TV. I would assume I would need a HDMI to Coax Converter or USB to Coax Converter, right? Where I will hook my receiver up to the tv only has coax. Any converter recommendation with brand and model is greatly...