Hello fellow Villagers! does anyone have any encounter in employing a hot tub at their household but not covered less than a Lanai? Attempting to figure out if we must expend $eight-10k (ouch) over a Lanai extension or perhaps install the recent tub on our BBQ patio location and see if the bugs/insects might be tolerable? (We would predict a lot of