All credit goes to lulu1491. I just had a student request the print. I use mesh mixer to scale it to my favorite size, about 80mm tall, ran it through a repair tool, and added supports so the arms, etc. printed correctly.
