PS3 has loose HDMI port?

I had that problem once, too. Although it was another HDMI cable and another TV I had, from another company, I simply plugged my HDMI cable in another TV port, had it stay in such state for a while, then switched to the first port again. And it works perfectly well.