片側のカーボンブラシが砕けて無くなっていました。

カーボンブラシは消耗品なので、アマゾンで沢山の種類の中から買えます。とりあえずサイズを測ってみると 5.3 x 4.7 x 9.5mm でした。

9.5mmは摩耗して分を考えると 12mmぐらいがオリジナルサイズでしょうか。ということで、前述のサイズ以下の汎用品を探してみようと思います。

---