Tak "file -b" mi sdělilo, že se opravdu jedná o RealMedia file, přesto, jak jsem psal, ho nešlo přehrát v Real Playeru. Naštěstí jsem našel na netu balíček real-codecs-1.2-3plf.i586.rpm a po jeho nainstalování mi to teď přehrává mplayer. Díky moc za pomoc, Mištván.