Don't worry I hate hex screws too... I wish they would use torx screws. They don't strip as easy as single hex and Phillips head
few years ago I brought a pinion puller.... Best investment ever. If the pinions grub screw is striped, u just use the puller to remove it. And once the pinion is removed generally is easy to remove and replace the grub screw. It's saved my but 3 times now...I've really got to stop using red lock tight.... Lol