There was a nifty tip on MacOSXHints today - apparently the codecs from the latest RealPlayer are usable in Mplayer. This is useful if you want to convert streaming RealVideo but the codec is too new for Mplayer.