I got rid of the up-to-date Real Audio Player I had installed, because it seemed too big for its boots. The older version, RealPlayer 8 Basic seems to be able to do the job without trying to take over. You can get it from here.
You can get it from here.