Hi fellow Villagers! does any individual have any knowledge in using a hot tub at their property although not covered less than a Lanai? Hoping to figure out if we must shell out $eight-10k (ouch) with a Lanai extension or maybe set up the recent tub on our BBQ patio https://raymondsvroi.answerblogs.com/34369407/the-fact-about-izmir-pergola-that-no-one-is-suggesting