У меня тоже куча кодеков (точнее установлен комплект кодеков K-Lite Codec Pack). Корел 12 сп1. Всё работает.
> Мне нужен именно AVI
Флэш может затягивать в себя swf. А вот оттуда может сделать, например *.mov
Кстати, можешь сделать это еще одним хитроумным способом — распечатать свою анимацию в ps-файлы. Потом прогнать Distiller-ом и затянуть страницы в Акробат, а уж из Акробата сделать секвенцию и получить потом ави проще паренной репы. (если думаешь что слишком хлопотно, то не бойся — корел сделает пс-ы автоматом, дистиллер сделает пдф-ы автоматом, акробат всё затянет и вытянет автоматом)