Hello fellow Villagers! does any one have any experience in utilizing a hot tub at their dwelling but not coated less than a Lanai? Trying to figure out if we must invest $8-10k (ouch) on a Lanai extension or just put in the recent tub on our BBQ patio location https://tarpaulin96060.blog2freedom.com/34141444/the-fact-about-izmir-pergola-that-no-one-is-suggesting