Да толку то, хоть swf видео, хоть в jpg картинки снимай, факт остается фактом:
Картинки почти не сжимаются, flash из 7.2 мег получается 5.2, так что это не подходит, а для flash используется vnc2swf, так и придется наверное в mpeg он еще куда более менее сжимается лучше чем двиксы, да и качеством получше, но максимум в раза 2-3 наверное больше не сожмешь, а это значит среднее видео в архиве rar будет занимать 20-30 мегабайт