We're headed to Austin from DC in mid-July for a wedding. We'll have time for one dinner (Friday) and one lunch (Saturday). We're especially interested in Tex-Mex; they simply can't do that very well here (with a few notable exceptions). Back in the early to mid-70's, when I was a student at UT, I remember going to El Rancho (then on East First Street -- but I've seen postings on this board suggesting ER has gone downhill over the years); La Tapatia (?) on East 6th; and Cisco's Bakery. We're staying downtown on San Jacinto and would appreciate any reccs for good 'houndish places within walking distance (or a short drive). Is Scholz's Beer Garden still in business?