Hello fellow Villagers! does any person have any practical experience in employing a very hot tub at their property although not included below a Lanai? Seeking to figure out if we need to commit $eight-10k (ouch) on a Lanai extension or simply just set up the hot tub on our BBQ patio place and see Should the bugs/insects is going to be tolerable?