Dr. Diesel, I misspoke in my post: it's actually an allen BOLT, (not a nut), which is stripped. Correct me if I'm wrong, but I thought the only way to get this out is to drill it first, then use an extractor. Is that what the snap-on tool you describe is? I'll certainly look to find it if it works on bolts too! Thanks!