Hi fellow Villagers! does any person have any expertise in employing a very hot tub at their household although not lined less than a Lanai? Attempting to determine if we need to spend $8-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio spot and see When the bugs/insects will probably be tolerable? (We might predict th