I would ask at a cylinder head repair shop if they can repair it without removing the cylinder head and how much it would cost.