Directv HR10-250 DTV Receiver "repair hdmi port" Questions

...HDMI port on you TV is not working. Now for the bad news: What ever damaged the HDMI port on your TV also damaged the DVR UNIT, and it looks like it could be in the switching section. What that is is ...

is how they got damaged or if it was something else) but moved HDMI input cable to HDMI port 4 on tv and everything is working again. Service call placed for warranty service on tv to repair bad ports

...repair it I can replace power supply pretty cheap if needed or can replace caps or burnt parts if i find any but would sure like professional input as i am not a tech Planning on pulling PS soon not ...