Thanks for your input. I'm checking on Autodoc for these HP pumps, and admittedly seem to be getting different information every time I look.
Yesterday there were several 'remanufactured' pumps... Bosch CP4 being one or two of them, in the price bracket of 400-600£.
Today, having checked, there...