I did mine with Graphic Converter. Allows you to scale all frames of an animated gif by choosing scale complete movie and when saving save all pages of multi page files. Took all of three minutes. If anyone here would like me to resize their avatar, let me know.
