Hello fellow Villagers! does anybody have any expertise in utilizing a warm tub at their residence but not lined less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) over a Lanai extension or maybe put in the new tub on our BBQ patio location and https://izmir-pergola59146.wikicommunication.com/5277979/little_known_facts_about_izmir_awning