Hello fellow Villagers! does any one have any expertise in employing a very hot tub at their residence although not lined less than a Lanai? Hoping to figure out if we must spend $eight-10k (ouch) on the Lanai extension or simply just put in the hot tub on our BBQ patio spot and find out In the event the bugs/insects will be tolerable? (We'd foreca