my vote is for
SDCard/MIUI/theme/
This is where themes, fonts, and other things downloaded with Theme manager are stored. I think that Theme Manager will download a complete theme that the boot animation is in. So you'll have to take the theme apart to get at the bootanimation.zip file.