I live in Waco, TX and Friday we had a terrible power outage and the dish tech said that my HDMI port is out. Is this the same thing that happened to you and you said you were able to repair it yourself. Are you a service tech and was it very hard? Was it the whole board? I am afraid that if...