Or worse. :-D
At least it wasn't an intake to head hole that stripped.
Or worse yet is stripping a head bolt hole.
I recently busted off an exhaust stud in the head, and then snapped the easy out off in the drilled hole. (On the back of the head under all the brake crap.)
Even welded a nut to the end of the stud, but no go.
I'll be changing heads anyway and I put it together with Remflex gaskets under the header flanges, so it doesn't leak anyway.
