Deep Eddy pool. It’s the oldest pool in Texas, built in 1936. It’s spring fed and pretty chilly-not as cold as Barton Springs though. It has a really cool (see what I did there) history that includes horse diving, where horses would jump off a 50 Ft platform with a rider, baby diving and had a zip line at one time! Not to mention that this pool is HUGE but only about 4.4 feet deep.