So wie ich es verstanden habe, werden nach der Durchführung der Kundendienstmaßnahme die Dichtungen des Lagergehäuses der Kühlmittelpumpe zwar nicht mehr belastet. Sollten diese allerdings bereits zuvor entsprechend strapaziert / geschädigt worden sein, kann das Problem auch nach Durchführung der Kundendienstmaßnahme jederzeit auftreten.
Es sie denn, Du tauschst auf eigene Kosten das Lagergehäuse. Sollte mit Arbeit geschätzt etwa 1.000 Euro kosten.
Bitte korrigieren, falls ich etwas falsch verstanden habe.