Repasting is cheap and easy to do, generally. I'd give that a shot. While you're doing that, make sure no dust bunnies have built a nest in the heatsink fins. Modern systems will park cores and do ...