Thanks guys. I'll search for that part and redo the head at 80lbs. With sealer.
the instructions on the gasket I had said to use sealer too. But it didn't last I suspect due to the new gasket material and new torque specs.
If I have to pull the head to remove the broken stud what are some thoughts on using the same gasket?