Hi fellow Villagers! does anybody have any expertise in using a hot tub at their property although not protected under a Lanai? Trying to determine if we must expend $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio location and see https://pergola74063.wikicorrespondence.com/4633965/tarpaulin_secrets