Bei VW gibts noch Pumpen, 074130108SX für ca. 980 Euro und 074130109DX für ca. 840 Euro, diese allerdings als Version "mit Klimaanlage". Es gibt auch noch welche für 3300.- bzw. 3500.-, aber ich vermute, die erstgenannten sollten es auch tun Ansonsten ist das aber ein eindeutiger Fall für den (hier vorhandenen) Markt und deshab wird hier auch abgeschlossen. Gesuche nach Gebrauchtteilen dann dort platzieren.