今日の午後、無事にトイレの修理が終わった。業者さんがいらして、たったの10分。タンク内の部品一式を交換してくれた。今まで使えなかった 「小」 のレバーも使えるようになっている。ありがとうございました！ さてさて、15時という中途半端な時間に修理だ…