Ich denke mal die Pumpe ist das Gelumpe was unter dem rechten Luftfilterkasten sitzt. Die hätte in letzter Zeit Geräusche (hörbar als unten beim Beifahrerfußraum) gemacht. Inzwischen machte das Dingens keinen Mucks mehr... Nach 20 Jahren darf sowas ja auch mal kaputt gehen.... kein Ding. Aber der "Mechatroniker" hat vermutlich keine Ahnung dass es sowas überhaupt gibt und komplett drumherum alles mögliche erneuert... kostet ja nicht sein Geld
Ich denke mal die Pumpe kommt neu... ein paar kleinere Reparaturen stehen eh noch an (Fensterheber hinten, EDC-Dämpfer vorne und so Zeuchs)