Does actually VLC for Mac OS X uses Flip4Mac and the RealPlayer engine to play such formats ?
Because it could increase it audio/video possibilities. Mplayer can read Real files sometimes, but using the plug-in provided by the software itself would bring a really significant better support.
edit : CocoaJT does it very well to play internet streams for exemple.