@futurebird off topic, but that pen takes me back 20 years!
I used to have one that looked like that, it's that an old one? Or are they still made?
(It's a plastic version of a technical drawing pencil, don't know how they are called in English. Right?)