They do have STL files, which I understand are commonly used in 3D printing scenarios. We'll see if they decide to put up STEP and/or IGES files as well - that would be ideal. The Rhino 3dm format might also be a viable option, since openNURBS is available for reading/writing it and is under a very liberal license.