IIRC, you could do 1 of 2 things...
1. Use a Flash to AVI converter. I know that they're out there, but I haven't seeked them out since around 4 years ago, so I can't tell you which ones are good.
2. Play the Flash video and record the monitor (the region the video's playing at) with CamStudio, which is free and awesome, but a little annoying to set up.
Personally, I'd go with the Flash to AVI converter. However, if you can't find a good one, or are having no success with a converter, I can record the movie and upload it somewhere for you when I wake up.