so, I come back from Tesla after a long full day service - they changed the pump. Their explanation was that the car sensed an error and maybe these pumps have been flagged - so as soon as Tesla gets an error it flags it for a change.
Well I come back home after a long drive. Today driving on...