Interesting. Thanks for the answer. Was swimming earlier when the question popped into my head and I realized I didn’t know if they were just large baths or used more like modern pools.