Hi fellow Villagers! does any individual have any encounter in utilizing a hot tub at their house although not protected less than a Lanai? Hoping to figure out if we need to spend $8-10k (ouch) on the Lanai extension or just set up the new tub on our BBQ patio https://chancevgosv.wikirecognition.com/1399577/izmir_awning_secrets