Hello fellow Villagers! does any person have any practical experience in using a hot tub at their property but not protected underneath a Lanai? Trying to figure out if we need to devote $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ https://izmir-awning91750.wikibestproducts.com/1375731/5_easy_facts_about_izmir_pergola_described