Hello fellow Villagers! does anyone have any experience in employing a incredibly hot tub at their household although not protected below a Lanai? Trying to figure out if we have to invest $8-10k (ouch) on a Lanai extension or perhaps set up the hot tub on our BBQ patio region https://andrewtnhz.snack-blog.com/34079152/the-fact-about-izmir-pergola-that-no-one-is-suggesting