A few years ago, a local hardware store was having a closing-down sale, and I bought these there! The larger green one cost around 2800 yen, and I forgot how much the red one was. Both are unused! I've just been displaying them. Instant purchase is welcome!