Here's the update, but first thanks to all who have weighed-in with possible solutions and good wishes. Again, this is a wonderful forum.
To tell the end first, the extractor piece and and busted screw are out. Whew. Not a perfect ending but good enough, I think. I picked up a tungsten carbide Dremmel tool that is identified as C.2 in the previous post. I have a Ryobi type "Dremmel" tool. It handled the hardened steel in the extractor without too much trouble, just slow going, easy does it. Now I know how a dentist feels drilling out a cavity
. Once I got that out I continued using the tool to center as best I could the bottom, then began drilling out stepping up drill sizes until I felt I was threatening the threads (actually, some threads near the bottom of the broken screw did get buggered). I then went back with the Dremmel and worked the top of the hole very carefully until just barely touching the original threads. Picked out the bolt pieces from the threads, then moved down two, three threads more and picked those out. Once I had enough threads exposed I retapped the hole. The tap chased out some more remaining bolt steel as it went down.
This was not a perfect process, as I mentioned. The top of the bolt hole is too large to grab the bolt properly, but deeper in, the bolt does start to catch and hold. I suggested to my son that he get a replacement 6mm bolt that is actually too long but then cut it off to get another 1/4" depth or more of thread. At least at this point we feel our solution will work. But if for some reason it doesn't, we can always go back with the next size bolt up, drill and tap again.
I should add that we did our best to clean up all ground bolt debris. That was almost as much of a pain as working on the busted bolt and extractor