easy .gif animator is how I resized mine (below) it will open up animated .gifs and then up the top in the menu you can resize it to anything you want without quality loss (if your shrinking it) then you can go save as so you don't loose the original and it will still animate
there is a free trial on the internet that will let you do everything in the program with no restrictions except you can only open the program 20 times, unless of course you buy the full version