Hello fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their residence but not included beneath a Lanai? Trying to determine if we must expend $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio region and see https://dantehuxeh.thelateblog.com/34609673/pergola-no-further-a-mystery