Hi fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their dwelling but not lined beneath a Lanai? Trying to determine if we need to devote $8-10k (ouch) on a Lanai extension or simply put in the new tub on our BBQ patio region https://izmirpergola85815.idblogmaker.com/33277401/detailed-notes-on-tarpaulin