Hey all, a few years ago I spent some time in Texas with friends and we stayed at a campground in Round Rock and I can’t remember the name. They had these great natural springs that you could wade in (it’s not Barton Springs) and they allowed RV’s. (If this helps, apparently some divers died trying to dive to the bottom of the wells there and they blocked it off with grates.) Anyone have an idea as to which campground this could be? We are trying to get there for next week! Thanks!