I thought about using an extractor, but the bolt is partially recessed under the firewall, which prevents me from getting the extractor to go in straight, or from getting anything on the extractor to remove it. In fact, that's why I ended up stripping the bolt in the first place; it's recessed.