Here you can see a closeup of the pin with the failed spring on the right vs. the functional pin on the left

The pins are approximately 4.5 mm in height on this particular model.

Here is the replacement pin placed next to the originals. So far, so good.