How much do i tip the mariachi band at our local restaurant?

we found a great mexican restaurant that has mariachi bands on saturday nite. But what do we tip them?
I wouldn