Hi fellow Villagers! does anybody have any working experience in using a very hot tub at their property but not covered less than a Lanai? Attempting to figure out if we must shell out $eight-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ patio area and find out Should