Jap denk ich auch! Ob man die Pumpe reparieren kann weiss ich aber nicht. Eine neue kostet 1100 ohne MwSt. bei Fiat
Bei ebay eine Bosch gibts schon für 350 tacken.
Diagnose dran hängen und nach der Einspitzdauer und -menge schauen. Mal schauen ob da noch was steht trotz abgeschalteten Motor.