Hi fellow Villagers! does any person have any practical experience in employing a hot tub at their property but not lined under a Lanai? Trying to figure out if we must spend $8-10k (ouch) on a Lanai extension or merely set up the hot tub on our BBQ patio area https://finnypfwl.celticwiki.com/1372905/5_easy_facts_about_izmir_awning_described