Barton Springs Pool on this hot Texan day.