Hi fellow Villagers! does any person have any expertise in using a very hot tub at their home although not included underneath a Lanai? Trying to determine if we have to spend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio spot and find out if the bugs/insects will be tolerable? (We would forecast the majority of o