Hi Fellow Villagers! does any individual have any encounter in using a incredibly hot tub at their house although not coated below a Lanai? Attempting to figure out if we need to spend $8-10k (ouch) over a Lanai extension or perhaps install the recent tub on our BBQ patio region https://izmirpergola49372.wiki-cms.com/7443304/pergola_no_further_a_mystery