Hi fellow Villagers! does any person have any expertise in employing a incredibly hot tub at their household but not coated under a Lanai? Trying to determine if we must shell out $8-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio area and see When the bugs/insects will likely be tolerable? (We would forecast mo