Hi fellow Villagers! does any person have any expertise in employing a very hot tub at their home but not coated underneath a Lanai? Hoping to figure out if we must spend $8-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ patio location and see In the event the bugs/insects might be tolerable? (We would forecast nearly a