We are coming to Austin for a long weekend in August. We will have two 13 year olds. We plan to visit Barton Springs, but what other things could we do with them that might include music or other possible swimming holes that kids would enjoy? My husband and I would love to listen to some live music somewhere that would also be appropriate with kids. Would Lake Travis offer something like that? We are staying in north Austin. Thanks!!