Hi fellow Villagers! does any individual have any practical experience in using a very hot tub at their dwelling but not lined under a Lanai? Striving to figure out if we need to devote $eight-10k (ouch) on a Lanai extension or maybe put in the recent tub on our BBQ https://izmir-awning34355.ageeksblog.com/32923365/pergola-things-to-know-before-you-buy