Hi fellow Villagers! does any one have any practical experience in employing a very hot tub at their dwelling although not coated underneath a Lanai? Attempting to determine if we have to expend $eight-10k (ouch) on a Lanai extension or merely put in the new tub on our BBQ patio https://pergola79009.signalwiki.com/1370556/pergola_things_to_know_before_you_buy