Oha, der Aufwand ist heftig, da würde ich mir die Frage stellen...
Wenn das 120 kkm später wieder passiert und angenommen man will das Auto danach noch weiterfahren, dann hat man zu diesem Zeitpunkt fast einen wirtschaftlichen Totalschaden am Start.
Wäre es dann nun jetzt nicht an der Zeit nach Alternativen zu suchen, z.B. entweder einen anderen, haltbareren Gerberzylinder zu besorgen oder nach einem ganz anderen Pedalblock zu suchen, der zumindest beim 2. Wechsel des Zylinders rascher montiert/demontiert werden kann?