Pumpe ist eine günstige aus dem Netz. 50€ Alternativ könnt ich eine Bosch-Pumpe für 150€ bekommen, allerdings weis ich nicht ob sich das wirklich lohnt!? Mit den günstigen Pumpen habe ich bei anderen Fahrzeugen wie meinem e30 und Audi 80 nie Probleme gehabt.