Arandas Taqueria has locations scattered all over Austin. This location is the putative #1 (the original #1 building down the road now houses a rival) but I’ve found little difference between the different stores.
The menus are identical and the flavors are basically the same. It’s one of the few restaurants in Austin where you can eat a nice meal for under 3 dollars (the tostada with your choice of carne.) While Arandas is second tier in Austin, it’s only because our first tier is so incredible.