That would have worried me from the start, an iffy hdmi port, especially the primary output. I don't know about digging out that board for a diy repair, either.....I wouldn't attempt it unless it is easily accessible at the least, plus my soldering skills are not the greatest.
If you can't get it repaired and do go shopping, how much do you want to spend?