Wie kann ich die RealPlayer Video-Dateien runterladen?

Wie kann ich die RealPlayer Video-Dateien runterladen, die unter "Sonstiges" als Antwort auf die Frage nach Videomaterialien [1] gegeben wurde? Mit einem Klick auf den entsprechenden Link öffnet sich der RealPlayer und spielt die Video-Datei ab. Mit einem Rechtsklick und "speichern unter..." wird zwar eine Datei gespeichert, wenn ich aber auf diese klicke, muss eine Verbindung zu dieser Datei auf dem Server erfolgen, sprich ich muss also online gehen, um dann das Video zu sehen.
Gibt es da eine Möglichkeit, die Dateien als "Ganzes" runterzuladen, um diese dann "offline" zu gucken?

Real-Audio/Video Streams kann man mit dem kostenlosen Programm Streambox VCR [2] herunterladen und lokal speichern.

RealAudio/-Videostreams kann man unter unixoiden Systemen mit mplayer [3] speichern:

$ mplayer -dumpstream -dumpfile file.rm <URL>

Bei mir funktionierte gar nichts mit diesen zwei Programmen. Aber mit CoCSoft StreamDown [4] konnte ich fast alle Dateien auf der Festplatte speichern.