And thank you to your co-worker for picking an appropriate encoding format
By choosing jpg rather than gif he was able to create a smaller file with fewer obvious visual artifacts. Someone at NASA needs to learn the differences between gif and jpg and when it's more appropriate to use one rather than the other.