Ich hab's nie selbst gemacht, aber Armin hat damals sicher annährend eine 3/4 Stunde gebraucht, und er wusste sehr genau, was er tut.
Audi Ewers in Lübeck hat einst für Aus- und Einbau der Pumpe (oder zumindest für das Ablassen und wieder Einfüllen des Sprits) signifikant mehr verlangt - ich hab' sogar noch irgendwo die Rechnung.
So ist das halt.