Yippee... got the first one out without needing the extractors! Went in with 3.2mm RH drill bit, dead slow, loads of oil, and a little lego jig to keep the drill bit straight.... followed up by 4.2mm RH drill bit, which for some reason generated constant puffs of smoke despite the cooling oil...