Busto editor de archivos .gif....

Pos eso, hay algun programa con el que pueda cambiar el tamaño de imagen de un archivo.GIF sin que le quite su animacion?
Salu2