The large AVI is 'uncompressed RGB'. It should play on anything as there is no real codec. I removed the WMV as the quality was just too poor. The MPEG is plain ole MPEG-2.
The only problem there might be is if the data file is being treated as ASCII, that could cause some problems.