Hi fellow Villagers! does everyone have any experience in using a very hot tub at their residence but not covered under a Lanai? Hoping to determine if we have to commit $eight-10k (ouch) on a Lanai extension or maybe set up the new tub on our BBQ patio place and see If your bugs/insects are going to be tolerable? (We'd predict the vast majority of