Thanks. I didn't see a bootanimation.zip in /data/local so I just assumed that I had to replaced the one in /system/media.
So I'm trying to copy the stock bootanimation from terminal using:
#cp /data/local/bootanimation.zip /sdcard/
but I get an error:
Separate names with a comma.