We recently purchased a 3160el, I have found hdmi ports adjacent to the coax output for each tv. Can anybody tell me what these are for? Jim