Dump to AVI

You can do a GrabPixmap() followed by a SavePixmapPNG() to save an image, then use a program such as VirtualDubMod to combine the images into an .avi

http://virtualdubmod.sourceforge.net/