Yes, thats a good idea Rob.
The pencil really is a perfect fit at the moment, not all pencils are the same diameter and I may be able to find another to fit as the hole wears a bit.
I like the clean simple approach at the moment, but can adapt this part if need be.
Karl, I hope you also have...