I could do that but since the TV is 1080P and D*is broadcasting the NFL (if they ever settle) in HD and I pay the for a HD feed I prefer to screw with the input and see if I can get it to work. The HDMI sockets are really cheap. I see that there is a mounting screw next to the HDMI socket so I will check and see if this is a plug in to the wire harness or is mounted on a circuit board. Damn cats. Thanks for your help
No luck, I guess the best solution is to call the tv repairman.