Hi fellow Villagers! does any individual have any knowledge in utilizing a incredibly hot tub at their household although not covered beneath a Lanai? Trying to determine if we need to expend $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio region https://izmirpergola78271.wikibriefing.com/3270601/the_ultimate_guide_to_izmir_awning