Cartoon production process in flash

I wanted to know how you guys do this. You do the animation, lip-synch, etc, all in flash. And then now you want to output it. Do you export it as an AVI file? Or do you export a sequence of images instead? If you import a sequence, then this means no sound will be included. Do you then import the whole thing in After Effects?

Hmmm… I didn’t think of that, but it’s an idea to import the SWF directly into After Effects.

What do you guys do???