Hi fellow Villagers! does anybody have any expertise in employing a warm tub at their residence but not covered less than a Lanai? Seeking to determine if we have to commit $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio area and see if the bugs/insects will likely be tolerable? (We might predict nearly all of our