Hi fellow Villagers! does any person have any experience in utilizing a hot tub at their dwelling but not covered underneath a Lanai? Attempting to determine if we need to devote $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio location and find out In case the b