Ik zou aanraden een rol uit te nemen en met een schuifmaat de diameter van de pen te bepalen. Als dit 10 mm is, zou de rol in principe moeten passen.