I just buy switch blades and tungsten contacts from Pinball Resource and make my own. The blades come in 3 different thickness depending on the stiffness you need. Just buy a few of each. I'd guess these are probably the medium ones.
The blades have multiple holes in the end for the contacts. Just find the right hole, insert the contact and clinch the nub over with a small hammer. Then cut the blade to length.
If you need those plastic switch things that push the switch blades, Pinball Resource has those too in multiple lengths.
Separate the switch stack, desolder the old switch blade and insert the new one, solder and reassemble. It's definitely a PITA but you're probably not going to find exactly what you want for sale.
If the blades are good, you can grind the nub off the old contact and replace with a new one.