Yeah, that's a good idea. I know it's a common misconception that GIFs are smaller size than JPGs, but that actually isn't true, especially if the GIF is animated.