20 Minuten? hör auf!
Bis auf wenige Ausnahmen schrauben hier alle in der Freizeit an ihrer Karre rum, ergo liegt das Werkzeug nicht sofort bereit, die Routine fehlt, man gibt sich mehr Mühe als die Alltagsschrauber bei denen es nur schnell schnell gehen muss (wenn was bröselt ist ja Wurscht - ist nicht meins)
Als ich damals das Rücklaufventil wechselte war ich im Minimum 2 Stunden dran... so viel anders von Aufwand her als ein Pumpentausch ist das nicht.
Einzig wenn die Pumpe nach kurzer Zeit wieder verrecken sollte, wird der Ablauf noch präsent sein und es geht schneller... beschissen ist es trotzdem.