I may have made an XL timing pulley.
Here’s how I did it.
I downloaded a pulley cad file at SPD-SI.com. It was a DXF. I loaded it into Inkscape and cleaned it up. I then used a DXF importer plugin in Sketchup to load the file. After a lot of cleanup I had a pulley in Sketchup. I then used Phlatboyz plugin to generate the g-code.