Moin.
Es wird auch mit der neuen Pumpe nach Sprit riechen. Da die Leitung nicht spontan bricht, sondern durch den Haarriss leicht pinkelt, versaut erstmal die ganze Umgebung inkl. Tank.
Am besten du sprühst nach der Reperatur und vor dem komplettieren alles großzügig mit Bremsenreiniger ein.
Ne Pappe unters Auto und ab dafür.
Dann ist die größte Sauerei schonmal weg.
Ich hatte das auch und es hat noch Wochen gedauert.