Apparently W-11 is obsolete and replaced by W-32 which is also obsolete.

Main power switch was burned out. You can see lots of black around contacts of switch I took apart.

I replaced it with a rocker switch (Digikey EG1510-ND, $1 switch + $5 shipping). It's the wrong color but brown switches are hard to find.

New switch has on/off marking. Original switch always annoyed me because I could not tell if it was on or off.