Pinball Switch Holders

I just upgraded my flipper fingers to WPC Style finger-mechanics including the spring that's pulling back the finger.
See Vid's guide : https://pinside.com/pinball/forum/topic/vids-guide-to-upgradingrebuilding-flippers)

I found out that the switch holder in my space shuttle had no long bracket, where I could drill the little hole to attach the spring.

So I made 2 little 3D printed pieces supposed to be mounted to the bracket along with the EOS Switch...
The thinner one is for the right flipper with the extra lane-change switch...