Holy crap, I didn't know that. I just watched this and it seems they switched between CGI and animatronics for that sequence depending on what would work best.

Holy crap, I didn't know that. I just watched this and it seems they switched between CGI and animatronics for that sequence depending on what would work best. I think CGI was still basically being invented then and was crazy expensive. https://youtu.be/oelBtZHkL4c?t=9m5s https://youtu.be/oelBtZHkL4c?t=9m5s