Hi fellow Villagers! does everyone have any expertise in employing a incredibly hot tub at their house although not covered less than a Lanai? Striving to determine if we must devote $8-10k (ouch) over a Lanai extension or maybe set up the new tub on our BBQ patio space and find out In case the bugs/insects will likely be tolerable? (We would predi