Hello fellow Villagers! does any individual have any working experience in utilizing a hot tub at their property although not lined less than a Lanai? Seeking to determine if we need to spend $8-10k (ouch) with a Lanai extension or maybe install the new tub on our BBQ patio spot and see When the bugs/insects are going to be tolerable? (We'd forecas