I tried exporting from Flash MX just now. It shouted something about components I needed for my Quicktime conversion, but Flash MX definitly has the required export options. There are lots of options for sequenced file formats, that you can import in other apps to turn them into .mov, .avi or whatever you want.