Yeah, if Jakob Nielsen reviewed it, he would damn it to hell. But I'm happy that even on some big corporate sites, there's a glimmer of the wackiness of the early internet shining through instead of the pseudo-wackiness that seems to be the current trend.
A 1.6MB simple .gif animation is a bit unexpected - I was thinking there would be some new HTML5 tech involved (WebGL?) But as bloated as it is, it was probably the best way to make something that works on just about any browser.