Ich würde als erstes versuchen das Leck mit geeignetem Dichtmittel
schön rundherum dicht zu bekommen. Schön vorher sauber machen!
Dann kannst du immer noch versuchen das Rohr zu ziehen.
Ich denke das wird ein ziemlicher Akt.
Aber was rein ging, geht auch wieder raus.
Dann brauchst du aber noch ein Ersatzrohr also warscheinlich einen anderen Zylinderkopf.
Da musst du aber das Rohr heile rausbekommen.
Den Kopf musst du dann wohl auch demontieren.
Wie willst du sonst sauber arbeiten.
Wenn das erste Dichtmittel nicht dichtet, probierst du eben das nächste.
Oder verbesserst deine Dichtkünste.