yeh, although in my pack, i have provided the .3ds files (i think) but they can be easily converted.
Turbosquid isnt some cheap market for stuff like FPSC (although some of it is cheap and affordable) it is actually designed for the sole purpose of providing commercial quality media/plugins etc. for advanced film making and games development etc.
its best if you learn about 3d formats, so that you can determine HOW you can make the models on turbosquid FPSC ready, with the right tools, its down to you
-Jon
alterative, no images:
http://h1.ripway.com/Fletch06/solutions.htm