RE: anti rotation pins: where do I get them?
Take that to a hardware store and see if they have anything like them. Those should have been made with a socket head so that stripping out doesn't happen.
If that fails, take a file and flatten out the top, and use a dremel with a cut-off wheel or a hack saw and cut in a new slot.