Did The Ledson Set ever play at La Zona Rosa in Austin, Texas? For some reason, the name sounds familiar but I can't quite remember........