It’s weird though. Pencils were never a good way to transport tape. It was also investigated that only certain Japanese pencils fit as these are bigger. In my memory we always used a BIC ballpoint pen which fits perfectly.