I'll just be replacing the broken bolt, since I'm sure it will be $100 or so (if it's cheap, I'll pick up a spare).

It has a splined head, so I doubt there is anything available on the aftermarket.