Hello fellow Villagers! does any individual have any working experience in using a hot tub at their property but not covered less than a Lanai? Hoping to determine if we have to devote $8-10k (ouch) over a Lanai extension or simply just set up the recent tub on our BBQ https://eduardofgdqy.bloguetechno.com/5-simple-statements-about-izmir-tente-explained-69217333