How do you pen turners trim the ends of pen blanks that use the large tubes like the JR Gent II and other large pens? I have the barrel trimmer kit that has several different sizes but none that will fit a tube where the blank has been drilled with a 12.5mm bit. Is there a method other than with a sander?