Aside from my favourites, VLC and MPlayer, there is one other method that works for those few times when my G3-500 just can't keep up with DivX/AVI, and that is to install the 3ivX codec, run the AVI file through DivX Doctor 2, and play the resulting .mov file in QuickTime.