Hello fellow Villagers! does any one have any experience in employing a hot tub at their residence although not lined less than a Lanai? Trying to determine if we have to invest $8-10k (ouch) on the Lanai extension or just set up the hot tub on our BBQ patio area https://zionnqnnx.blog5star.com/34688082/the-fact-about-izmir-awning-that-no-one-is-suggesting