A few years ago we had the same problem and the timer fixed the problem and the tech. told us that it could happen again soon. So I went with trying the same repair and it did not work.
I don't think it gets hotter then normal temps. It just does not cool. but seems to be running normal no weird noises or anything..