[iceman (Mike)]

What is it?

You can probably use a program called "bink & smacker", which can convert files to different formats. You'll need to save the individual frames, and then use a gif generation tool to make an animated gif from the frames.