Pump was still running. Thought I’d post that it was this little gizmo that failed ….
Just in case it saves someone taking the wheel off and dismantling the wheel arch to access the water bottle and pump unnecessarily like we did

😬. Less than 70p to replace.