Yo uso el badaboom converter. SI teneis una tarjeta grafica de este ultimo aņo de NVIDIA, podreis utilizar su procesador CUDA y convertir videos de 40 minutos en 3 minutos y a cualquier formato (PSP, MP4, XBOX, HD PS3...).
Si alguien lo quiere, lo subo y lo posteo.
Saludos!!!