Hello fellow Villagers! does any one have any working experience in employing a very hot tub at their dwelling but not included below a Lanai? Attempting to figure out if we must commit $eight-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio area and see In the event the bugs/insects might be tolerable? (We would predic