Hi fellow Villagers! does any individual have any knowledge in employing a very hot tub at their household but not coated below a Lanai? Hoping to figure out if we must commit $8-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ patio region and see if the bugs/insects might be tolerable? (We would forecast the vast majorit