Hello Fellow Villagers! does anyone have any experience in employing a incredibly hot tub at their house although not protected below a Lanai? Seeking to figure out if we have to invest $8-10k (ouch) with a Lanai extension or maybe install the hot tub on our BBQ patio place and https://collinzkidz.wikirecognition.com/1392190/5_easy_facts_about_izmir_awning_described