Hello fellow Villagers! does everyone have any knowledge in utilizing a hot tub at their house but not covered under a Lanai? Attempting to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ patio location https://izmir-tente18418.shopping-wiki.com/9069823/the_izmir_pergola_diaries