Ulead's GIF Animator works pretty well.
Doing a simple optimization took it from your original:
@138kb to @93kb
It may have lost a tiny bit of it's luster, but it's difficult to reduce it much without losing some, because you have to reduce the number of colors used in order to bring the file size down. That and lose any comment blocks, etc.
Best of luck,
Buck