you'll get no luck with using VLC. They do not support any realmedia formats and they never will because realmedia codecs are not open source.
However you can play these same videos using
real alternative and windows media player
blah. sorry for double post