I don't know if these work, yet. But I think they are the same switches. It's been a while since I bought them and don't recall the source. I will have to go looking.

__________________