I used Gimp (www.gimp.org) and it worked great. It's a free (and very useful) application similar to Photoshop.
Simply open the animated gif > Image > Scale Image.
There's detailed info with screenshots here:
neoseeker.com/forums/87/t1191994-gimp-tut-gif-animation-resizing/