純正部品を買うのもイイんだけど、高いし取り寄せになるとのこと。それならばと延長パイプで代用しよう。 まぁ30分ほどで交換できますので、コレぐらいなら自分で直したほうがイイよね。