19 star cookie cutter with ejection tool

AboutI always loved small star cookies (gingerbread). But it's a hard work to cut them in large quantities. So I've created many cutters over last few years (once i even tried a cutting roller - didn't work though). This is my newest invention. The cutter can cut 19 separate stars and then one can use tool to push them out of the cutter with the “push-out-tool”. After that you can push the tool even further to get rid of dough leftovers from areas between the stars in the cutter. This should sped up cookie cutting significantly.How to printPrint the cutter and the push-tool flat on the bed. No need for infill for the tool - two perimeters and couple of top layers to close the shape are good enoughDoes it work (UPDATED)?YES!!! It works better than I expected. It's a great way to make a lot of tiny star-shaped cookies. works fast and ejection mechanism works great (unfortunately something went wrong with wideo i tried to reord during cutting, bot here how looks whole cook