This is the tool I used to optizimize the GIF from 3MB to 946kB.

http://ezgif.com/optimize/