Job's being done tomorrow so I'll report back on whether it's a good deal or not! Thanks for the replies, guys.
Of course, it's my diagnosis of a knackered fan so we'll see if I'm right. Very noisy, runs for a while then judders to a halt, a blast of WD40 gets it going again for another couple...