Hi fellow Villagers! does any individual have any working experience in utilizing a very hot tub at their property although not included below a Lanai? Attempting to determine if we must invest $8-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio location and see When the bugs/insects might be tolerable? (We would pred