Hi fellow Villagers! does any individual have any knowledge in utilizing a hot tub at their household but not coated less than a Lanai? Hoping to determine if we must shell out $eight-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio area https://daltonmrwis.pointblog.net/details-fiction-and-tarpaulin-77981678