Good afternoon to all i have a question i was looking on the back of the 622 rec and theres a small slot for a hdtv digital audio/video output.I dont want to sound silly but is that a hdmi because my tv is hdmi and right now im useing a hdmi/dvi to my 811 and the 622 will replace the 811 so is this cable a hdmi big plug on one side and a small plug on the other or is it a different type of plug altogether?. I contacted dish tech support and the lady i spoke to put me on hold and then came a couple of mins later and said the installers would bring all the equit i need.Dish also said the rec would come with the installers but it came by ups so can somebody clairfy this plug i think its a hdmi plug with one reg end and one small end thanks again. SAM 
