I actually sold and dumped a good stock pile of parts and had every switch imaginable until the fall. I believe I had a few of those switches. If I happen to stumble across one while organizing the garage I'll definitely let you know.