Just was called by Dish for install of my 811 ($149 deal) on 5/1. Does it come with a DVI cable? Thanks, Bob