This revealed a few "pickled" looking studs that I wasnt going to leave and of course, two were not going to budge regardless of heat applied to the case or shocking them with a hammer.
They wrung off, so here's the photo essay for posterity/wiki:
Stud snapped off close to the bottom

Accurate centre drilling

Drill approx 6mm and then slot drill to 9.5mm

Slot drill out to 10mm (no pic) and if it's gone well, pick up the end of the thread and pull/wind it out

Its that easy


How anyone thinks they can do this with a pistol drill is beyond me, I had to regrind the small drill twice and the tools squeal as they cut.
These 12.9 studs are very hard on the end and do not like the final break-through at the bottom of the hole.
Low rpm circa 500 and high cutting pressure is essential.
Bridgeport BRJ milling machine or similar required.