Hello fellow Villagers! does anyone have any experience in employing a hot tub at their house but not covered less than a Lanai? Hoping to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio space and find out In case the bugs/insects might be tolerable? (We'd forecast a lot