screw extractor bits sometimes work.
I have super glued or epoxied allen keys to stripped heads (sometimes you need to drill into them a bit).
edit: Heating up the loctite will still help loosen the screw.
And dear god tell me they didn't use red loctite?!
