Hello fellow Villagers! does any person have any working experience in using a incredibly hot tub at their house although not coated beneath a Lanai? Attempting to determine if we have to spend $8-10k (ouch) with a Lanai extension or simply just install the recent tub on our BBQ patio https://landenuyupn.blogsumer.com/33344056/5-easy-facts-about-izmir-awning-described