Brass exhaust washers

You said the stud broke. Were you able to get it out of the head? That can be a real pain.
Haven't drilled one out in probably over 40 years. I've read on here about heating (with propane?) and touching bees wax to the broken stud to help it ease out. figure I'll do my best to center punch it and maybe use a reverse pitch drill bit, then an easy out if need be.