Hi Fellow Villagers! does any individual have any knowledge in utilizing a incredibly hot tub at their dwelling although not covered under a Lanai? Seeking to figure out if we need to expend $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio https://izmirtente60368.wikiadvocate.com/6700372/izmir_pergola_can_be_fun_for_anyone