Nice Mexican restaurants with Mariachi?

I’m looking for a nice restaurant with live mariachi.

Wanting to go with someone whos never seen mariachi.

I’m not from the area so I don’t know where to go.

Thanks