Seems to be realaudio file, but I can't open it either, don't have realaudio. Guess I should have tried those video files first.
I do have Real audio; still doesn't work.