Thanks for sharing.
Regarding the avi version - looks like it might have been sourced from a lower quality source. For a 1.3G DIVX5 file, it's pretty blocky. Also the encoding shows issue as the total video and audio size adds up to just over 1G, but the whole file is 1.3G. Lastly, the audio...