Dear friends: My thanks to everyone who wrote in about RealPlayer. It's now installed and working fine. I installed the "bin" file into /usr/local Thanks again. Benjamin