Gordon, DS-135 does appear to be the switch JPS used. Thanks.
Naturally I have cut off the the screw terminals and installed female spades to the wiring harness.
The switch is $14 delivered
I really wanted a DIN switch and have conceived a solution...I'll keep you posted.