Quick update on this,
I had to fill in a warranty claim for the replacement pump,
They wanted to know if the pump was fitted by a garage or myself, and if I was claiming for the fitting costs, because my son did it they wanted copies of his qualifications, I got the feeling if I’d done it myself it would have been a lot harder getting a replacement, fortunately they approved the claim and a new pump arrived about a week later, now just waiting while he has time to swap them over again.
Just be aware that fitting items from AUTODOC yourself could invalidate the guarantee.