El Gringo is a Mexican restaurant.