Hello fellow Villagers! does any one have any practical experience in utilizing a hot tub at their residence but not lined under a Lanai? Striving to figure out if we need to invest $eight-10k (ouch) on the Lanai extension or just set up the recent tub on our BBQ patio https://izmir-awning04815.wikicorrespondence.com/4662387/5_essential_elements_for_pergola