Je serais assez de l'avis de ton garagiste en ce qui concerne l'échange de l'actuateur sur une pompe qui commence à prendre de l'âge, mais aussi parce que tu n'auras plus une telle prise en charge de la réparation par un tiers (ton assurance achat).
Si je calcule bien ça te fait un peu moins de 875€ de ta poche ... C'est une somme, mais le mécano s'engage forcément sur le résultat, et tu repars sur une pompe en parfait état (et garantie).
Moi je ferais çà !
Un conseil cependant (à toutes fins utiles) : fais une marque profonde dans le corps de la pompe, pour pouvoir vérifier qu'elle a bien été remplacée.

Steele.