Hi fellow Villagers! does anybody have any encounter in using a sizzling tub at their property but not coated below a Lanai? Trying to determine if we need to expend $8-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio place and see https://izmirawning57777.tkzblog.com/33980088/the-basic-principles-of-izmir-tente