You should of gotten a manual along with a channel card. Also you should of received a 25' phone jumper and a RCA cable (red,white & yellow)
As far as the HDMI cable goes, Like the above posters mentioned, Dish Network does not supply the HDMI cable in the box. Some offices have them...