I have not been but I have his cookbook and his specialty is brisket. His name is Aaron Franklin and owns Franklin Barbecue in Austin, Texas. But you better get there early because the line starts forming at like 8am. He also talks about other BBQ joints in his cookbook outside of Austin called Smitty's Market, Kreuz Markets, City Market, Louie Mueller Barbecue, and Southside Market.
Oops just read that you already plan to visit Smitty's and Kreuz. Sounds like a good time enjoy Larry!!
This is his cookbook