El Quijote is a restaurant.