Hello fellow Villagers! does everyone have any experience in employing a very hot tub at their house but not coated under a Lanai? Hoping to figure out if we have to spend $8-10k (ouch) with a Lanai extension or merely install the new tub on our BBQ patio location and https://izmirtente35540.vigilwiki.com/6793249/5_easy_facts_about_izmir_awning_described