Hello fellow Villagers! does any one have any knowledge in utilizing a very hot tub at their dwelling although not included beneath a Lanai? Trying to determine if we must shell out $8-10k (ouch) with a Lanai extension or maybe set up the recent tub on our BBQ patio spot https://izmir-awning97517.wikisona.com/1383360/pergola_no_further_a_mystery