Hi fellow Villagers! does any individual have any working experience in using a incredibly hot tub at their house although not lined under a Lanai? Seeking to determine if we must invest $8-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio space https://chancevgosv.wikirecognition.com/1399577/izmir_awning_secrets