Hello fellow Villagers! does any individual have any working experience in employing a incredibly hot tub at their home although not coated under a Lanai? Trying to determine if we have to invest $8-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio area and find out Should the bugs/insects might be tolerable? (We'd fore