Sam,
Can't you just use a gob of Loctite on the buggered screw and it will fill up the threads enough to hold anyway. I don't expect that screw has much load on it during use.
DD, that's what I did.
The new allen wrench was just big enough to snug it up without stripping.
Should never be an issue unless for some reason I decide to try and back it out.
