Converting a Sketchup model is no problem. I have the time limited demo of Sketchup Pro already installed on my machine at home. It allows me to convert Sketchup models to formats I can use, and as it takes only a couple of minutes of the 8 hour time limit I calculate I can probably convert 240 models before I need to reinstall.
I have a number of TAS shuttles and conjectural TOS models on my website for people to download. If you're up for it I'd love to host this model as well, so that others could use it for their animations and pictures. It's always nice to see people using the designs and models we come up with in their own fantastic pictures and animations.