Unless you rarely use this gun you should probably buy new pins anyway. The originals are obviously not hardened properly and the same thing will happen again. If you buy some soon enough, you will be able to do it via the bushings rather than removing the stock again. Keep the old ones for emergency spares or to use as a pattern if you decide to learn to make your own out of O.H. drill rod.

Voting for anti-gun Democrats is dumber than giving treats to a dog that shits on a Persian Rug