Hi Fellow Villagers! does any one have any encounter in using a very hot tub at their property but not protected below a Lanai? Attempting to figure out if we have to devote $eight-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio https://paxtonegegf.qodsblog.com/34168021/pergola-no-further-a-mystery