Hello fellow Villagers! does everyone have any encounter in utilizing a hot tub at their residence but not protected less than a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) on the Lanai extension or maybe put in the new tub on our BBQ patio region and see In the event the bugs/insects will be tolerable? (We would forecast nea