Help! My picky friends are coming to the Arlington area and want to go to "authentic" mexican or very good tex-mex. For example, Joe T.Garcias is too commercial for them. I'm new to DFW and haven't found any standbys yet. Low key local spots are great. Any suggestions?