Hi fellow Villagers! does anyone have any encounter in using a hot tub at their property although not covered below a Lanai? Hoping to determine if we must expend $eight-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio spot and see In case the bugs/insects might be tolerable? (We'd predict nearly all of our Very hot tub