Agrees with my linkLrcat says the head bolts are all 7/16UNC.
Lrcat
I just worry with helicoil, especially on a head bolt, you need to be very sure you drill perfectly straight.. don't know the bolt size but you should see it listed somewhere i would have thought
So ask him to remove the broken stud !I think I'll get them measured as needs to be bang on.
Fortunately I have access to a very accurate milling machine and an operator who works in hundreds of a degree.
Left handed drill or mill bit ? That way if it snatches at the bolt, it might unscrew itself ?