It was an incident I read very similar that suggested to me it was just the speed control playing up :D
So the engineer was right, strictly speaking it needs a new pump. However, I'm annoyed that he left the dial in between speeds to shut off the heating. It was almost a week before they rang...