Hello fellow Villagers! does any one have any expertise in using a very hot tub at their house but not covered beneath a Lanai? Seeking to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or simply just put in the new tub on our BBQ https://sergioizluf.wikiparticularization.com/1373532/izmir_pergola_can_be_fun_for_anyone