I spoke with dishnet the other day to learn that the HDMI port could possibly be disabled from dishnet. Does anyone know if this port can be enabled or would I need to get another Vip211 from dishnet?