Obtained new switch. Installation instructions were basically: 1. Remove bad switch, 2. Replace with new switch. Instructions didn't mention how to get to the switch, which required removing half a dozen screws and four devices which really need a special tool (spanner wrench). Which screws needed to be removed were a challenge to find. The terminals were not in the same locations, so pay close attention to the labeling of the two switches when moving the connections.