Hello fellow Villagers! does any one have any encounter in using a incredibly hot tub at their household but not coated under a Lanai? Attempting to determine if we have to commit $8-10k (ouch) with a Lanai extension or merely put in the new tub on our BBQ patio place https://garrettrtpog.bloggazza.com/33101014/tarpaulin-can-be-fun-for-anyone