Hi fellow Villagers! does any one have any knowledge in using a hot tub at their home but not coated below a Lanai? Making an attempt to determine if we must devote $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio space https://edgarcrrlf.wikifordummies.com/8566726/indicators_on_izmir_pergola_you_should_know