If you're looking for a cool DivX player for OS X, give a try to the latest release of videolan media player, it's the best I got so far... way better than mplayer or the QuickTime plug-in!