Ja,
die Pumpe gibt es auch im Zubehör, ist damals ca. 70 Euro billiger gewesen.
Läuft bei mir einwandfrei. Falls es im Zubehör mehrere zur Auswahl gibt würde ich nicht die billigste nehmen, denn das rechnet sich meist nicht.
Evtl. schaust Du mal bei ebay rein oder wendest Dich an das Autohaus Cuntz in Speyer
siehe hier