Is there a general rule of thumb as to what to give a mariachi band for singing some songs tableside in the restaurants? We have occasionally taken them up on their offer to perform for us, but always wonder what we generally tip them to be appropriate.