Hi fellow Villagers! does any one have any expertise in using a very hot tub at their household but not coated under a Lanai? Striving to figure out if we need to spend $8-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio https://travisluzdd.blogchaat.com/34124123/the-fact-about-izmir-awning-that-no-one-is-suggesting