Hi Fellow Villagers! does any one have any knowledge in using a incredibly hot tub at their dwelling although not lined under a Lanai? Seeking to figure out if we need to commit $eight-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio https://jasperxmhzt.life3dblog.com/33015104/pergola-no-further-a-mystery