Yeah, I've been fiddling around with EZGIF. You can use the Animated GIF Maker to upload a GIF to generate another GIF, optimize it by fiddling with the compression, cutting out every other frame, cropping or resizing the GIF, etc.There are several websites for reducing the sizes of larger gif files.

I might have gotten a little carried away optimizing here.

