Hi fellow Villagers! does any individual have any expertise in using a warm tub at their home but not covered underneath a Lanai? Trying to determine if we have to expend $8-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio spot and find out if the bugs/insects might be tolerable? (We might predict a lot of our Very h