Hallo,
meiner Meinung kommt es darauf an was du mit dem Zylinderkopf vor hast. Wenn du Serien Leistung oder eventuell noch mit Chip fahren möchtest
würde ich ihn reparieren. Wenn höhere Leistungen angestrebt werden würde ich von einer Reparatur abraten.
"Normale" Hitzerisse die nicht höher als in den dritten Gewindegang gehen sollen laut manchen Motorenbauern vernachlässigbar sein, alles
andere ist denke ich etwas heikel.
MfG