A GIF optimizer seeks to reduce the size of your GIF files, usually without compromising image quality. Not enough detail on this site to pass judgment, but good GIF optimizers will also let you reduce the number of colors in the palette dynamically, so you can see the effect.

Real GIF Optimizer 3.05 shipped in February of 2003. I wish I could tell you what new features are in this release, but RealMultiMedia Development is one of those companies that doesn’t bother to post release notes on their web site!

http://www.realmultimedia.net/rgo.htm