Hello fellow Villagers! does any person have any knowledge in employing a incredibly hot tub at their dwelling but not covered underneath a Lanai? Hoping to determine if we need to commit $8-10k (ouch) over a Lanai extension or perhaps put in the new tub on our BBQ patio area and find out Should the bugs/insects might be tolerable? (We would predic