crwdns2936071:05crwdne2936071:0 — Finding a replacement switch
On Ebay, the switch RS601D (as of June 2017), is available as an original from China. An alternative: Since I just had it on hand, I installed the following switch from Pollin: # 420427 (unfortunately, no indication of inrush current found)