No, there is no mariachi. There will not be at the moment, even so the atmosphere and service is excellent. They have the TouchTones service and you can play the music of your choice.
It could be if I'm not sure.
Thanks! Your answer is awaiting moderation.