I dont think they have to worry about anyone swimming in "Lake" Travis.