Размер ролика

[mooncar]

1. Главный вопрос к вам - а что вы саму AVI-шку не импортнули в ролик?
Даже меньше, чем 5 мБ можно было бы сделать swf-ку.
2. "слепил PNG" картинки - это хорошо, но отчего вас не устроил JPG-формат? Разница в качестве будет не очень заметна.
Вообще, задать уровень компрессии для png-шек можно и в библиотеке, вместо lossless выставаив требуемый.
3. Опять-таки , поставьте качество публикации JPG в настройках публикации 50-60. Глазу отличия не очень будут заметны, а вес может существенно уменьшится.