Did you ever find the right switch? Mine went out as well, and it appears to be an ArcoElectric switch measuring about 21mm x 25mm. It looks like this is the right switch, but in green:
https://www.alliedelec.com/product/arcolectric/c1353aabg2-602a/70226890/ . This also appears to be it, in...