Hello fellow Villagers! does any one have any working experience in using a warm tub at their dwelling but not lined beneath a Lanai? Making an attempt to determine if we have to expend $8-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ https://juliuseejid.pages10.com/the-best-side-of-tarpaulin-69456161