yeah if there are other HDMI ports it's worth trying one. I don't know anything and I'd be in the "googling to try and find an answer" mode too... ideally it is some random port because if not it's what, some driver associated with HDMI? or if there's some aspect of the sound card associated with HDMI (if that's even a thing)... very strange!