Yo uso el SUPER que también es un convertidor de todo tipo, el Total converter es muy bueno también. Pero el SUPER es ¡gratis! acá el link:
http://rapidshare.com/files/135625121/SUPERsetup.exe
Solo arrastras el archivo a la ventana, seleccionas el formato GIF y presionas "ENCODE" no puede ser más fácil. Suerte

Apoyando al software libre :-)