Hi, da dein Motor wie du schreibst noch gut ist würd ich den drinn lassen. Die Pumpe abdichten ist halt etwas aufwendig, je nachdem wo sie undicht ist. Aber die Pumpe läuft auch nochmal 200tKm oder mehr wenn du sie nicht gerade mit Pflanzenöl fütterst. Der komplette Dichtungssatz für die Pumpe kostet so um die 60€, dann kommen halt noch die Arbeitsstunden und der Pumpenprüfstand dazu...
Ich würde die Pumpe abdichten lassen und den Motor weiter fahren.