КотНасчёт экспорта (редактор Флеш поддерживает и импорт)

Касатально спец программ - можно ими воспользоваться (ты говоришь не сработала прога - скачай из Сети другую). Но вполне можешь использовать встроенный экспорт.
Возьми редактор Флеш (нормальную версию, если экспорт глючит - достань новую и рабочую версию) и сделай экспорт в mov.
File -> Export Movie... -> QuickTime (*.mov)