Dan Armstrong is correct, the switch is made by Cherry Elect. Prod.
Corp., Highland Park, Illinois, cat. no. E13-08R.

About eight years ago I ordered 50 switches from the Cherry company
for my own homemade auto-shutoffs.  If I remember correctly there was
a minimum order of about 20 switches and they sold for $12 each.

I can sell 20 of my switches and I am asking $15 each and $1 shipping.

Bill Maguire
mbillmaguire@aol.com.geentroep [delete ".geentroep" to reply]