Just for future reference, I once took my PS3 to get its lens repaired and the shop owner suddenly said my HDMI port was not working. (It was working in 720p, but no signal at 1080p for some reason.) He offered to replace it at around 700-900rs, don't remember the exact price quote as it was 2-3...