Diese Diagnose würde ich nochmal prüfen lassen, woanders.
Und wenn das wirklich so sein sollte, wäre eine Instandsetzung bei einem freien Händler sicher preiswerter. Wäre auch zu prüfen, ob nicht ein gebrauchter Zylinderkopf als Ersatz eine Lösung wäre.
Nur mal als Beispiel: