Incidentally, I am very happy with the RealPlayer install despite the
fact that I haven't found a way to play the older Real 3.0 audio
files. With a good set of speakers, the output is as good as, or
better than, anything I can get from Windoze. Thanks again!