There are a few kiosks there with reasonably priced food, including a mexican one called Cactus, really tasty churros and fajitas