Lo de exportar a divx ya lo he estado probando pero la verdad esq no me ha dado muy buen resultado porq no me salia con gran calidad e incluso me salian unos píxeles coloreados ...Debe ser q algo hago mal, en las configuraciones del codec o no se... 
(Lo de exportar a aviDV, lo he probado y creo q me ocuparia alrededor de un 1GB o algo mas)

(Lo de exportar a aviDV, lo he probado y creo q me ocuparia alrededor de un 1GB o algo mas)