This episode is also available as a blog post: https://travelyouman.com/2022/07/21/can-you-swim-in-lake-hefner/