Gulfstream Pinball Machine, 1:25

Note: I'm pretty confident this can not be 3d-printed at this scale. I made the model for reference, not for printing.

I recently acquired a Gulfstream Electro-Mechanical pinball machine.
I order to do so I had to ship it, and in the process I realized that there's not a lot of information about the dimensions of this machine. As such, once I had it at my house, I modeled it at 1:25 scale (1" == 1mm). These dimensions likely match most of the 1970-era EM pinball machines from Williams.

https://www.ipdb.org/machine.cgi?id=1094