まあ、無理矢理感が一杯ですが何とか修理しました。パネル付きスイッチは、amazonで今回使用したものを見つけました。パネルの取付間隔は78mmでしたが（本体側は77mm）、材質がプラスチックなので何とかなるとの目論見です。おまけに、コードを引き込むためのスペースもあり …