Cylinder head repair in DIVJAKA