Hi Fellow Villagers! does any person have any expertise in using a hot tub at their home although not protected less than a Lanai? Hoping to determine if we need to invest $8-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio region https://izmir-tente48146.ageeksblog.com/32976318/pergola-things-to-know-before-you-buy