I've created animations, yes, but I've never been able to export them. xD
I think it would be best if you animate them since I don't really know how to export them correctly.
True yeah. Actually, don't you use the latest Blender? I still use an older version for BL add-ons since I don't trust Port's new exporter yet (does it even have armature animation exporting yet?).
The only trouble with you using the newer Blender is that the older Blender doesn't understand the new face system, meaning if you open a new .blend file in the old Blender, all the faces are missing. :(
For simpler models, it's not too much trouble to manually refill the faces, so go ahead and model the ants if you want.