All of your HD channels come in on the 61.5 satellite and in my 4.5 years of installing Dish Network I have never seen an HDMI cable come in the box. I am pretty sure the installer did you a favor by blocking out the 129 satellite as the 61.5 will yield better signal strength.