PS3 HDMI port died? - It's alive alive. now

[Musashi]

Until today, I had been using an HDMI cable for my PS3. I proceeded to switch the output to a component cable for a short time. When that was done, I went to the menu to switch it back, only to discover it would not switch back.

When I try to change it to HDMI, the picture shows only a fiant hint of green and a fuzzy movement much like an empty channel. It doesn't say 'no signal' or anything, just that green screen.

I tried resetting the output via holding down the power button, but it still won't do HDMI afterwards. Why it would die after a short move to the component cable I have NFC.

The HDMI cable still works with the DVD player, so I'm nearly convinced that my PS3's HDMI port broke during the transition. But how? And is there any chance it didn't and this can be fixable without sending it in for month-long repair work?