もともと東芝製が付いていました、最近水が出なくなってしまったので修理をしようかと思いましたが、修理費も１～２万円程度するとのことで新しいウォシュレットに取替しました。

TOTOなどのメーカーはウォシュレットでもそこそこの価格です。
家電メーカーのウォシュレットなら安価で取替可能です。