My version of Animation Shop expired, so I looked for a free online version.
This one does an excellent job: https://ezgif.com/resize
I'm not sure if there are any good free windows based ones you can download.
If anyone has any suggestions, please let me know.
Matriarch