メーカーの方に来ていただき見積を出してもらったところ、まあ予想の範囲の3万円とのこと。
ちょっと割り引いてもらえて2万4千円弱に。

そのままその場で修理頂けるとのことだったのでお願いすることに。
このままあと4年くらい使えるなら、正しい判断だったと思える。

あと洗面所を掃除できてよかった。