エンドピンを削ったかれこれ35年使ってエンドピンの先が丸くなってたので、近所の鉄工所で削ってもらいました。 鉄工所に伺って5分くらいで相談・加工・会計が完了、工賃は300円でした。 右のエンドピンが削ってもらったボクのエンドピン、左が借り物のエンドピンです。 金ヤスリを買うより安くてちゃんと削れました。