Because of an “in joke” between ds and me, I want to buy him a particularly splendid pencil for his stocking. Any ideas? He’s 18, by the way, so he’s grown out of Disney! Money, (within reason considering it’s a pencil), no object.