Ich lasse meine trotzdem vorsorglich tauschen. Zusammen mit Pleuellagerschalen.
Kein Bock auf Motorschaden.
Klingt vernünfitg. Kleiner Tipp: bevor du die Pumpe direkt komplett austauscht, bau sie aus und auseinander und guck dir den Zustand innen an. Dann alles reinigen, mit frisch öl leicht vorfüllen und wieder zusammen bauen, falls der Zustand ok ist.