Just out of interest, if this is the problem could it have been avoided or would it have happened anyway when changing the pump.
I appreciate it's a DIY forum but would be great to have a heads up before the engineer gets here... trying to avoid spending money again and again because he says...