I recommend printing in PLA at standard settings. This pencil launcher is compatible with most pens, even ones with larger diameters. It can be printed in under an hour.

Inspired by this: https://www.printables.com/model/201446-pencil-launch-silos