I got a file from MakerBot for a shark, but it was in the old format and I recreated it on my own. Check out the original file and the slim line version I made to compare. See if you can't make your own.