Hi fellow Villagers! does everyone have any encounter in using a very hot tub at their house but not covered under a Lanai? Seeking to determine if we have to commit $eight-10k (ouch) on a Lanai extension or simply install the recent tub on our BBQ patio area and see https://tarpaulin76318.ampblogs.com/pergola-no-further-a-mystery-70881403