バスポンプのタイマーを交換修理しました

お風呂の水を洗濯機に送る外付けのバスポンプを使っていますが、そのタイマー部品が壊れてしまいＯＮになりっぱなしです。ON/OFFは電源ケーブのコネクターの抜き差しで行ってましたが面倒です。
タイマー部品の型番を調べてネットで検索すると類似品が有り、送料込みで1100円です。しかしそのタイマーは電子レンジ等に使われるもので、チンとなるベルが後に付いていて、厚みが大きくて、そのままでは交換出来無さそうですが、取り敢えず発注しました。
　本日部品が届き、取り外したタイマーと比べると写真の様にベルの分だけ厚みがあります(写真　中　右側が届いたタイマー部品)。ベルを取り外そうとしましたが機構的に無理そうです。
　仕方がないので、バスポンプタイマーのケースに穴を開けて、ベルが外に出るようにして取付けることにしました。ヤスリで穴を広げたのですがケースの厚みがあり中々削れません。何とか押さえてケースが閉まる所で良しとしてネジ止めして交換修理完了です(写真　右　タイマーケースの裏側にベルが少し飛び出しています)。
ケースに当たらない所迄穴を大きく開ければOFFになった時にチンと鳴るのですが、ベルがケースに当たっているので、バチというような音がしますが、電源はしっかりと切る事ができるようになりました。