@Pogre
I own a 3D printer, and that driver is ~$26.
I may give this a try myself, not much to lose here. The only concern is that the size of the print may be a little too large for my print bed. I'll download the files next time I'm on Thingiverse and see if I can print it. Sometimes you can break up large prints into smaller pieces too.