The latest Real Player also has a video download function. It works in Firefox. You can also convert the files to mp3 or other formats.