Thanks. It was fun figuring out how to do a few things. We printed a second one at 1/2400-scale, which involved shrinking the file size to ~ 52% of the original. That print turned out fairly well too, so now I'm wondering what happens if I go the other way and expand it to 1/700-scale.

It also has me wondering about the level of effort required to create these files for printing. Would love to see what that looks like.