No hombre, que no lo divida...xD
Mira, avidemux, que el compañero amuchamu te ha recomendado te puede servir para comprimirla un poco, y así que entre en 8.5gb sin perder demasiada calidad.Cuando digo que no va a perder demasiada, es que apenas la vas a notar, te lo aseguro.
edit1: usa .mkv que es abierto.
un salu2