So recently I had to figure out how to re-size an animated .gif file. I messed about and tried to friends and relatives to help. They were great, but either could not get the correct size to look right, or they could not keep the animation (which was one of the big problems I had). After spending a lot of wasted time, I did a different search and found a great free, online editor that would let me edit the .gif file, and resize it but keep the animation. So I decided to share as a thank you to the editing Gods and to them for the help and if anyone is looking for a quick way to take care of something like that, here it is: lunapic.com
It is not limited to .gif files, and you can either upload the image from your local computer, or even get it be enteriung the url of the image.
I hope it helps,
Enjoy!