Hello fellow Villagers! does anyone have any knowledge in employing a incredibly hot tub at their property although not protected underneath a Lanai? Trying to determine if we must spend $eight-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio area and find out if the bugs/insects will be tolerable? (We would forecast