Well what i do to record flash videos is camstudio or camtasia.
Link(camstudio): <a href="http://camstudio.org/">http://camstudio.org/</a>
Link(camtasia): <a href="http://www.techsmith.com/camtasia.asp">http://www.techsmith.com/camtasia.asp </a>
Basically the same thing except camstudio is free.(I would recommend it more and you can record audio from your speakers, you can for camtasia but you need the stereo mix option not microphone)
KingKilo
Just put it in Flash, export > export movie > .avi
Its easy.
raitendo (Updated )
no, can't import it, all I get is a bunch of empty frames and an empty library. this nut is tougher than that.