Stripped screw or stripped driver or both?
Good quality tools will help ya out in the long run
Heat up the pinion and see if you can get it out. If not, cut a slit with a Dremel and use a flathead, and if not, screw extractor kit. This can go for any screw on the car.
Also learned if it is...