Hey guys. My friend brought over his PS3 from Singapore to US (long time ago). And when he connect via HDMI, he didnt get color (like connecting a PAL PS to a NTSC TV). So he bought another PS3 and used it for quite sometime. So he recently went back, bringing his old PS3 back. It worked at home. Does HDMI carry PAL/NSTC signals????