Yes, just the pump (sorry for the confusion). Re the cost, you've answered my question. I guess that brings me round to my initial question again: does the fact that the pump itself is noisy necessarily mean that it's inefficient? If yes, I'll happily pay to have it replaced for the new...