Hello fellow Villagers! does any individual have any knowledge in employing a hot tub at their home although not coated less than a Lanai? Hoping to determine if we need to expend $8-10k (ouch) with a Lanai extension or maybe install the hot tub on our BBQ patio place and find out if the bugs/insects are going to be tolerable? (We might forecast a