Hi Fellow Villagers! does anybody have any knowledge in using a incredibly hot tub at their home but not covered beneath a Lanai? Attempting to figure out if we need to devote $eight-10k (ouch) on a Lanai extension or perhaps put in the recent tub on our BBQ patio place https://izmirpergola14469.wikicarrier.com/522529/izmir_pergola_can_be_fun_for_anyone