I've got an overnight at DFW airport on July 19. Never been to Texas, love food, and want to know where I should go. A friend recommended Avila's for Tex-Mex, and it sounds good, but a distance from where I'm staying. Is it worth getting there? (Looks like I can take the TRE to Medical/Market and walk or cab a mile.) Or can someone recommend someplace closer to the airport? Thanks for helping me out. The Tex-Mex and Mex-Mex food here in Boston is, well...you understand.