Hello fellow Villagers! does any one have any encounter in using a very hot tub at their household but not covered below a Lanai? Hoping to determine if we have to shell out $eight-10k (ouch) on a Lanai extension or just put in the recent tub on our BBQ patio https://pergola69009.idblogmaker.com/33253339/fascination-about-pergola