Quoted from Rdoyle1978:extracted a model from one of the games and converted to a 3d printable file.
As is a video game asset; or shuttle from the Pinball game?
I once tried heavily modifying a Sketchup model... but it became so complex that I had to semi-perm retire the project as there was no guaranty the resulting model would be water tight / manifold / printable.