Hi fellow Villagers! does anybody have any working experience in utilizing a very hot tub at their residence but not covered less than a Lanai? Seeking to determine if we need to spend $eight-10k (ouch) over a Lanai extension or simply put in the hot tub on our BBQ patio space and see Should the bugs/insects will likely be tolerable? (We might pred