Hello fellow Villagers! does any person have any expertise in utilizing a very hot tub at their property but not lined below a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) with a Lanai extension or merely put in the new tub on our BBQ patio area and see When the bugs/insects are going to be tolerable? (We would forecast a lot of o