Chosen Solution
Need the HDMI out repaired
Call around your local repair shops and ask if they perform microsoldering. They should have the skill, tools, and parts to perform the repair. This isn’t something that should be performed by the DIYer but most of the time, it is repairable.