You know you can try the "download this video" option (if you have Real Player) that will pop up if you mouse over a flash video. Then, you can convert it to any format you wish, also in Real (chances are it will download in a .flv format). More trouble than it may be worth, but if you truly want the video, it's the way to go.