After unsuccesfully trying to get a clean HDMI output signal from my camera and upon further inspection I noticed, that one of the pins from its’ micro hdmi port was bent badly. While trying to bend it back I broke the pin out. Is there any way to solder a new micro HDMI port to the mainboard? Or is there any other/ a more simple solution?