I'm not the OP, but I don't mind spreading the word.
https://www.reddit.com/r/Austin/comments/913l7r/just_a_note_for_those_heading_to_lake_travis_for/
Apparently, those guys are *sharp*.
Tom's Dive and Swim | 5909 Burnet Rd., Austin, TX 78757 512-451-4607 | info@tomsscuba.com Store Hours: Monday-Friday 9:30 - 6:30 & Saturday 9:30 - 5:00