I think I have a bad HDMI port. What can I do?