Hi fellow Villagers! does any individual have any expertise in using a incredibly hot tub at their house although not lined under a Lanai? Seeking to determine if we must expend $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio spot and see if the bugs/insects will be tolerable? (We might predict most of our Very hot