Re: Stripped mounting stud socket
Here is a photo of an Allen head cap screw. This one appears to be stainless steel but they also are available in black. Usually the ones you'll find at an Ace hardware will a hardness grade 8. You'll need to determine the length but the size will be 1/4 X 20.
That means 1/4" diameter by 20 threads per inch. You'll need a 14 X 20 tap, preferably what is called a 'bottom tap' and enough case material to support these new threads. Good luck.
Age and Treachery Will Always Triumph
Over Youth and Skill & "Charlie Don't Ride"