Yep, you guessed it. Import to 3dsmax or whatever else supports it. Its a very useful feature to have.
Also for already compiled BSP's you can use Crafty's "export>OBJ", and use that for your animation sync. The difference is that the .DXF import is whole brushes blocks geometry (OBJ will be faces).