Hi fellow Villagers! does any person have any experience in utilizing a hot tub at their residence although not included beneath a Lanai? Trying to figure out if we need to shell out $eight-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio space and find out if the bugs/insects might be tolerable? (We would predict a l