Hi fellow Villagers! does any individual have any knowledge in employing a hot tub at their home but not covered beneath a Lanai? Hoping to determine if we must devote $8-10k (ouch) over a Lanai extension or simply set up the new tub on our BBQ patio region and find out Should the bugs/insects will probably be tolerable? (We'd predict a lot of our