System 11 24v relay board: http://www.greatlakesmodular.com/index.html?http://www.greatlakesmodular.com/products/pinball/sy11rb2.html
You can just get any replacement microswitch like this one 5647-12693-18 and replace or bend the wire in the correct shape.
(Topic ID: 214676)