Where would I get a pump bearing?
Which would work out the cheapest?
Remove pump, replace bearing, re-fit pump, or
Remove pump, replace with new pump.
I can't be certain of that. It might have been changed as part of the major service it had, although I don't recall seeing that on the bill.