Hi fellow Villagers! does any person have any practical experience in using a very hot tub at their property although not protected below a Lanai? Hoping to figure out if we have to spend $eight-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ patio area and see If your bugs/insects might be tolerable? (We'd predict nearly al