The RealPlayer 10 ".so" files stored in  "rp10codecs-20050915.tar.bz2"
were extracted from the "RealPlayer 10 for Linux" package. These ".so"
files appear to be  free and redistributable, at least in binary form.
Access to the source code requires a special license.