Hello fellow Villagers! does any person have any expertise in using a very hot tub at their residence although not covered beneath a Lanai? Making an attempt to figure out if we must spend $eight-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio place and find out if the bugs/insects will likely be tolerable? (