How long are those movies? They seem awfully large... (75 MB and 35 MB, respectively). BTW, Divx is available for OSX. Just go to https://www.divx.org and download the software.