Those are 2 different boot animations. The first link is the older Nexus boot ani and the 2nd one the new ICS galaxy boot ani that you have now, but enhanced resolution and deeper blacks. They should both work on 4.0.2 iirc.
You could try, just flash in CWM and reboot and see if it shows up.
Both are zips and can be flashed in CWM.