Hi fellow Villagers! does any person have any working experience in using a hot tub at their house but not protected underneath a Lanai? Attempting to figure out if we must devote $8-10k (ouch) on a Lanai extension or perhaps put in the hot tub on our BBQ patio place https://izmirtente16159.signalwiki.com/1371271/5_easy_facts_about_izmir_pergola_described