IIRC ps has an option where you can import video files and they are displayed by frames in layers just like gimp. You can then re-size and export it again. I haven't done this myself since I don't work with gifs but it sounds like gimp supports it much better than ps so just use that. Besides, its free.