Hi fellow Villagers! does anybody have any knowledge in employing a very hot tub at their property although not included underneath a Lanai? Attempting to determine if we must shell out $eight-10k (ouch) with a Lanai extension or simply just set up the new tub on our BBQ patio area and see If your bugs/insects are going to be tolerable? (We would p