Some notes and a forum regarding DivX, 3ivx and VLC on the Mac macosxhints – Play any DivX file using QuickTime Player Some suggestions for Ogg and MPlayer as well.