Hello fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their dwelling but not covered beneath a Lanai? Hoping to determine if we have to expend $eight-10k (ouch) on the Lanai extension or just set up the hot tub on our BBQ patio space https://andrezdytm.full-design.com/little-known-facts-about-izmir-awning-76520468