RealPlayer 10's update check doesn't seem to detect it, but a new version of RealPlayer for Linux was released the other day. It works well, without any sound device conflicts, especially with the BBC Radio iPlayer and Firefox 3 where the old version was having problems.