I'll be visiting the DFW metro plex and will have one or two opportunities to try a fajita. I'm looking for something old school, perhaps more authentic "Tex Mex" than Mexican. I've been to Mia's about a decade ago and really enjoyed it. I've also heard about El Ranchito, Matt's Rancho Martinez, Joe T Garcia's, Mariana's Hacienda Ranch and El Fenix. Should I stick to what I already enjoyed? Try one of the other options on the list? or someplace else altogether?