Lunch at Mercado de San Miguel. A giant food hall.