Tool for repair of cylinder head