Hola, si metes un divx de 700mb en avi funcionará, lo que pasa es que es una burrada y si lo reduces de tamaño con alugun programa como el que comenta clerury lo veras con la misma calidad pero te ocupará sobre 200 Mb mas o menos. Pero tipos de formato puedes leer los que quieras con el Tcpmp o el core player.