Remember that AVI is only a container extension ... you need to use GSpot to determine if the contained file was rendered with DivX, Xvid, or whatever ...
FFDshow is a very good open-source DivX/Xvid/mp4 encoder and decoder, and is about 75% lighter on your system resources than DivX codecs
