Hello fellow Villagers! does any person have any knowledge in utilizing a hot tub at their home although not included below a Lanai? Attempting to figure out if we must devote $8-10k (ouch) over a Lanai extension or simply just install the recent tub on our BBQ patio space and https://shaneivvck.techionblog.com/34104323/tarpaulin-secrets