Postiing this in case someone needs it.
Someone asked me how to deal with an alternator mounting bolt with a stripped head. This has happened to me before and a 13mm Irwin Bolt Grip socket worked great to get the bolt out:

Irwin: 394002:
https://www.amazon.com/dp/B000QW6K8INote that Irwin is a name brand. There are more generic brands that cost less, have more sizes and come with a case.
Example:
https://www.amazon.com/dp/B087P5GKFK/