Hello fellow Villagers! does any person have any practical experience in employing a hot tub at their house but not protected under a Lanai? Attempting to determine if we need to spend $8-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio region https://izmirtente16159.buscawiki.com/1372691/a_review_of_pergola