there's prolly another way to do it, but with some movie players u can output jpg images (or maybe gifs) at the rate of x many per second into a directory, then use something like paint shop pro animator to string all the gifs into a single animated gif file..... i have a program that can do that movie to jpg conversion but i can't remember what it is right now (i'm at work) but i'm sure someone else can suggest one
(oro put me on to gordian knot last week, and that seems pretty amazing and could prolly do it for you)