Damn. I guess I’m a fancy #pencil guy now.
(They are really nice, and the replaceable eraser is 😗👌, since that’s the first part of any of my pencils to wear out.)