Pues creo recordar que lo pasé con DivX normal. Lo primero que yo probaría es a reproducirlo con el reproductor VLC. Es el mejor reproductor que hay, lo reproduce todo sin problemas. Podéis bajároslo gratis aquí:
http://www.videolan.org/vlc/ Si aún así, no lo véis, igual no tenéis el codec de DivX, así que bajaros la última versión aquí:
http://www.divx.com