Another (free) open source option is to use Handbrake to transcode the AVI file. I think they only recently dropped support for *outputting* AVI files, but you can still use AVI files as a source. Download Handbrake: http://handbrake.fr/ Install and run, and either hit "source" or it will ...