結局、デントレックスは修理しました。

　修理代は返送料込みで3,240円。

　修理のときにメーカーへ送る際『本体だけでなく付属品も一式送って欲しい』ということだったので、タンクやら何やらまとめて送ったのですが、修理後、返送されてきたら、そういった付属品がピカピカになっていました。
　タンクやホースが、清掃してくれた、というより、あきらかに新品っぽいんですよねぇ。

　こういう対応をしてもらっちゃうと、なんだかうれしいですね。
　修理依頼して、良かった。