Barton Springs on a hot summer Monday