トイレの修理は結局TOTOのサービスセンターに依頼し、昨日無事に完了した。修理代は2万6千円だかでけっこう高くついたが、ロータンク内の部品は総替えしたし（もう20年以上使っているわけだし）、手洗いの水の出が悪いのも直してもらったから、まあ良しとし…