Your best bet is a little tedious, but much more effective, and that is to use GIMP or other animated GIF software to extract the individual layers as files. Then using an editor, resize the layers, assemble them in an animated stack, and try a reduced GIF color palette (like 128). If that's not enough, you can then elect to discard various layers until you achieve the desired file size.