Hello and welcome to the forums. As with any forum, a little searching yields great info. Just a few threads under yours here, is mine:
You'll find the cocking pin is a common issue and can be remedied with some time and elbow grease. Alternatively, you could keep an allen wrench in your pocket to re-cock it. It can do double duty as a wrench also! Good luck and don't forget to clean & lube regularly.