Hi fellow Villagers! does everyone have any experience in using a warm tub at their household although not included underneath a Lanai? Making an attempt to determine if we have to expend $8-10k (ouch) over a Lanai extension or simply just put in the hot tub on our BBQ patio https://hectortrldv.wssblogs.com/34090122/everything-about-izmir-pergola