>>729
メーカーに問い合わせたときは一万円くらいといわれた。
修理には出していないから、実際にいくらになるかはわからない。