Thanks AGS. This news makes me feel a little better. Just get my car out of France and on the boat.
Next question. When they replace the pump, I am assuming that there will be an oil change. Is there different oil in the engine for run-in? Will they replace with like, or, post run-in spec? Another thing to stay on top of...I don't want the wrong oil in my car.