Hi Fellow Villagers! does any person have any experience in utilizing a hot tub at their dwelling but not covered below a Lanai? Seeking to figure out if we need to devote $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio space and https://johnnyhgbvr.kylieblog.com/34534893/the-best-side-of-tarpaulin