Hello fellow Villagers! does everyone have any knowledge in utilizing a incredibly hot tub at their property but not included below a Lanai? Striving to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or perhaps install the new tub on our BBQ patio spot and find out Should the bugs/insects will likely be tolerable? (We'd pr