Hi fellow Villagers! does everyone have any experience in using a sizzling tub at their dwelling but not coated less than a Lanai? Attempting to determine if we have to shell out $8-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ patio region https://tarpaulin38226.ziblogs.com/34256764/the-fact-about-izmir-awning-that-no-one-is-suggesting