I was looking for those switches too, same results as GRJ, nothing found so far. And I agree, it is a very neat little switch!
I found some that were sort of similar, but they were all momentary, tactile or whatever they call them. Morse code to your Arduino maybe?