i had to replace my control shoft safety switch (its smaller) - spent 2 weeks learning to decode them and got many headaches, i finally foind one close, bought 2 on ebay fo r4 bucks, I drilled out the little pins and changed the operations to suit my needs (normally closed and orientation) - and glued is back together with clear epoxy (u will notice the mounting screws ALSO hold the whole thing together so its VERY reliable - just drill the pin heads off till it comes apart, trust me if u can tie your shoelaces u can do this) what i learned was these switches are used daily in thousands of applications, from microwave doors, washing machines, automated industrial equipment -
just find a 12v 15amp switch with the roller pin and correct length / geometry- theyre like 5 bucks, and modify it, all the variations usually share the same body with extra slots for the different configurations, all u have to do is move 2 pieces around and ur set.
good luck
this will get u in the right direction (copy and enter into browser address bar)
https://goo.gl/RiLQIj
OR
google:
micro switch 12v roller pin