The replacement switch, cable, and plug assembly I ordered finally arrived, rendering the question of how best to splice a left-oriented micro switch -- since most micro switches seem to be right-oriented, these were the devil to find -- to the old plug moot.