Hello fellow Villagers! does any individual have any working experience in employing a very hot tub at their property although not covered under a Lanai? Hoping to determine if we have to commit $8-10k (ouch) on the Lanai extension or perhaps put in the hot tub on our BBQ patio https://izmir-tente04792.bloggactif.com/35368667/the-definitive-guide-to-izmir-tente