Codec information:
Compressed using "Any Video Converter" with default "mpeg4" settings
We were able to play back the video using VLC and the DivX 6.9.2 Codec (www.divx.com)