El Mariachi is a Mexican restaurant.