Well, ereplacement didn't have it, but it led me to a different parts place and found a different manufacturer of garden tractors that used the same kohler engine and battery ignition. Don't know the maker of the switch, but the part # is 103990.
May have to use my own color codes for the wires.