Hello fellow Villagers! does anyone have any experience in using a warm tub at their house although not covered under a Lanai? Trying to determine if we need to commit $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio region and find https://izmir-tente15159.wikisona.com/1394061/pergola_no_further_a_mystery