Nobody is knocking DivX player! It's a very good player. But there's more AVI formats out there than just divx. And yes divx can play most of them. AVI is really what you call a container format, meaning it allows different video and audio codecs to be put together as one file. VLC can play all avi formats including Matrovski/matroska, 3ivx, XviD, etc. & it can also play mpeg 1, 2 & 4 formats. There's also
CODECs list and alternate players for Movies