Just been contacted by the pool guy. The pump flange has gone and cannot be repaired. New pump will be €395 fitted.
Now, I have not had any experience of pumps and do not know if this is a good, bad or average price for a replacement.
I have asked if it more energy efficient than the original...