Hi Fellow Villagers! does any one have any knowledge in utilizing a very hot tub at their property but not covered under a Lanai? Trying to determine if we must devote $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio area https://ericksebat.blogcudinti.com/34302490/details-fiction-and-tarpaulin