Is it possible to download these CNN clips?

I’m an absolute novice at video links.
I’ve just been playing some “Video RECENT PROGRAMS >>” links here http://www.c-span.org/homepage.asp

I’m not trying to break any rules, I’m just trying to find out if I’m missing an option.
Can I save (download or record) these clips?
What menu would such an option be on if it were allowed?

RealPlayer Plus (the paid version of RealPlayer) used to allow you to record certain streaming clips, but I’m not sure if that feature is still present.

You can still do it nowadays, but the process is a bit more involved.
[ol]
[li]First, you need software like the Real7ime Converter.[/li][li]Then, go to the C-SPAN page and find the clip you want to watch on the main page.[/li][li]When you hover over the link, IE’s status bar should say something like javascript: playClip(clip06). Remember the clip number.[/li][li]Go to the View menu, and then View Source.[/li][li]Use CTRL-F to search for “clip##” using the number from before.[/li][li]Copy the link inside the quotes, such as “rtsp://video.c-span.org/project/c04/c04041105_bolton2.rm?mode=compact”, into the R7C.exe program that you downloaded earlier.[/li][li]Specify a target download directory, like your desktop, and then push Go. You’ll be asked to choose a video codec. If you don’t already have one in mind, something like DivX or DivX would be a good choice. Or you could always save it as a plain .AVI file if you don’t care about disk space.[/li][/ol]

That last line (about the video codecs) should read “DivX or XviD”, not “DivX or DivX”. I’m not that much of a DivX fanatic.