Thanks for the STL @marchache1717. Printability is definitely better with a brim and enough copies (6) to ensure adequate cooling time. (Guessing that was your recommendation?)
3D printable pins would definitely be preferred over 2.85 mm filament, as they would be easier to source for individual builds (i.e. filament would be great for build events, but far trickier for one-off community builds). It’s too bad the switch holes are a bit big for standard filament.
Loading shouldn’t be too much of an issue: the pins are only loaded in shear during the initial switch press before the load is transferred to the switch jack mount. Fatigue currently comes into play with the flexure far sooner than it would with the pin.