Though it sounds like your temperature issue has been addressed, it's still worth mentioning the damaged pin. Pin in question is a DDR3 grounding pin, likely to have no impact at all, but if it were I'd expect it to show instability while overclocking RAM or running certain XMP profiles.