It coule be the pump, the bearings could be worn, you'd know best as you should be able to trace the noise and determine whether it is the pump, when it starts making the noise again, place a screwdriver on the pump and put your ear on the screwdriver handle - this should tell you if it is the pump.
Changing the pump can be done by a competent DIYer, if your unsure - don't attempt it.
About £70 - £80 for a new pump. not including fitting
DIY how to tutorial projects and guides - Did you know we have a DIY Projects section? Well, if no, then we certainly do! Within this area of our site have literally hundreds of how-to guides and tutorials that cover a huge range of home improvement tasks. Each page also comes with pictures and a video to make completing those jobs even easier!