Sigh all you want, just don't use gifs. It's an obsolete format with no remaining niche. Your first argument for the use of gifs focused on the experience of users seeing an animation "they wanted to show an animation and most people can load it." If the experience of the users is your concern (and it should be), you should feel obliged to never use a gif for something like this because the users will have an objectively superior experience with mp4's in every respect.
If instead you're screwing the users just to save the webmaster some minor hassle, you should sack the webmaster.
