Mercado de San Ildefonso is a three-level food court offering diverse, international cuisine from 20 stalls, complemented by three cocktail bars.