I'm probably arriving late to this party, but that broken bolt is an easy repair. As a mechanic for over 30 years, I have seen quite a few of those same broken bolts.. Using the following technique, I've had 100% success at removing the broken piece from the head.. Disconnect the POS battery cable and remove the alternator and all associated brackets to gain unincumbered access to the broken bolt.. There's plenty of "meat" around that threaded hole.. Using a die grinder and a small diameter and very thin cutoff wheel, cut a slot across the center in the end of the bolt. You'll cut into the head a bit, but that won't hurt anything.. Cut the slot about 1/16" deep into the bolt..
Here comes the good part. Put a flat blade screwdriver in the slot and "unscrew" the broken piece.. It should come out easily because the bolt, when tightened, doesn't bottom out in the hole.. Obtain a new grade 8 bolt and put everything back together...