Hello fellow Villagers! does anybody have any practical experience in utilizing a incredibly hot tub at their house but not protected underneath a Lanai? Hoping to determine if we have to expend $8-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ patio area https://finnstqne.blogofchange.com/34577746/indicators-on-izmir-pergola-you-should-know