exportar en, no se, depende que tanta calidad desees mantener... Podría ser mpg-4... o mpg-1... Lo que tienes es un formato AVI sin compresión.... Calidad Full, pero tamaño enoorme, si lo pasas a DivX por ejemplo va a bajar mucho el peso y relativamentye la calidad... Repito, depende mucho qué quieras hacer con el video después.... Yo usarlía compresión WMV...