"... but you can export as animated gif from Flash ... " Really? I didn't know that. Do they end up as pretty heavy files? Sandy