Hello fellow Villagers! does any person have any expertise in using a very hot tub at their household but not covered beneath a Lanai? Seeking to determine if we have to spend $8-10k (ouch) with a Lanai extension or simply just set up the recent tub on our BBQ patio https://laneijfat.ouyawiki.com/1384090/a_review_of_pergola