Hi, sorry if this is posted in the wrong section.

Im looking for the 3dmodels of the mariachiband featured in the games titlescreen. I used cplhenshaw's awsome model viewer but couldnt find them there.
I understand that the titlescreen is prerendered but arent they also in the end, standing by the fountain? or is that also prerendered?

Any help would be appriciated.