Well Jerry, I am finding out that this is a common issue. I had hoped that i might be able to repair the switch but it looks like a new switch may be in order. I do not wish to use the aftermarket switch assembly for fear the wiring harness will be too short. Do you,or anyone else have any info on the microswitch that could be used? How about the 3D printed box?