Fan was making a shrieking noise when on - didn't matter CPU load, etc.
Repair was easy - the online guide is so easy to use, and with the right tools it only took us 4-5 minutes.
Ha! Once we had replaced the fan, we looked at old one, spun the blades a few times, and out popped a hole-punch hole! And . . .