Hi fellow Villagers! does any individual have any knowledge in using a very hot tub at their household although not covered less than a Lanai? Trying to determine if we must devote $8-10k (ouch) on a Lanai extension or merely put in the hot tub on our BBQ patio area https://claytonwxvqk.tdlwiki.com/1359187/a_review_of_izmir_pergola