DivX Playing on OS X

BoingBoing points to a walkthrough of getting DivX encoded movies to play on OS X. One player it doesn't mention, which I use, is MPlayerOSX, the ported Linux utility mplayer. It's played nearly every movie I've ever thrown at it, and the same people also provide a DVD ripping tool. One annoyance: there doesn't seem to be any seeking control (ie., forward, reverse, go to 45:31, etc.). Either way, the doc does have one tasty tidbit: how to install a DivX codec for Quicktime.