Hi fellow Villagers! does any person have any encounter in employing a incredibly hot tub at their property but not included under a Lanai? Hoping to figure out if we must spend $eight-10k (ouch) on the Lanai extension or perhaps install the new tub on our BBQ patio area and https://edgarbcxtn.wikinstructions.com/1373468/izmir_awning_secrets