Hello fellow Villagers! does any person have any knowledge in utilizing a hot tub at their property but not covered less than a Lanai? Attempting to determine if we have to invest $8-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio area https://claytondgauo.ageeksblog.com/33051276/not-known-facts-about-izmir-pergola