Hi Fellow Villagers! does anybody have any encounter in using a hot tub at their house but not protected less than a Lanai? Trying to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio https://izmir-tente41592.ampedpages.com/tarpaulin-secrets-61136872