Es ist leider häufig, um nicht zu sagen meistens, so dass solche Dinge nach einer vermeintlichen "Reparatur" auftreten - von daher kann mit an Sicherheit grenzender Wahrscheinlichkeit davon ausgehen, dass es an dem Tausch der Pumpe liegt.
Ich hoffe nur dass die das in den Griff kriegen - sonst wird's schnell zur Never ending Story...
Wirklich viel KM dürften bei Deinem auch noch nicht auf'm Tacho stehen?