Hello fellow Villagers! does any person have any encounter in utilizing a incredibly hot tub at their house but not coated less than a Lanai? Seeking to determine if we have to spend $8-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio area https://izmirtente69011.wikibuysell.com/1380614/little_known_facts_about_izmir_awning