I can report some results!
After the ehx customer support team were incredibly unhelpful, I trial and error-ed various switches and can confirm that the proper replacement is an on/off/on dpdt.
The particular model I used was this one: http://uk.farnell.com/multicomp/2md3t2b2m2re/switch-pcb-dpdt-vert/dp/9473009?CMP=i-ddd7-00001003
hey, did you get anywhere with this? I’m having a similar (boot induced) problem…
