Hi fellow Villagers! does any one have any encounter in using a hot tub at their house although not protected less than a Lanai? Trying to determine if we need to invest $eight-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio area https://izmir-pergola29216.wikibestproducts.com/1369053/izmir_pergola_can_be_fun_for_anyone