Hello fellow Villagers! does anyone have any experience in utilizing a very hot tub at their property although not protected below a Lanai? Seeking to determine if we must spend $8-10k (ouch) over a Lanai extension or maybe install the recent tub on our BBQ patio space and see In https://remingtonoxkgz.wikiexpression.com/4357025/tarpaulin_secrets