Good job Grigg!!
One other ideal that I have used before, to get a hardened set screw/bolt out.
Take an old broke off tap and sharpen it like a drill bit.
The web is already there.
Maybe even sharpen it to be left handed, so when it starts to break thru, it will unscrew the bolt.
Again
Great job and John owes you for your skills.
Don