As Dave told you in post #2, they do exist as model files, downloadable from the 3D Warehouse.
Here is a search link: