Hi fellow Villagers! does anyone have any encounter in utilizing a very hot tub at their house although not included underneath a Lanai? Seeking to figure out if we have to commit $8-10k (ouch) over a Lanai extension or simply put in the recent tub on our BBQ patio space https://reidpahji.bloggerswise.com/41430318/the-fact-about-izmir-pergola-that-no-one-is-suggesting