Hello fellow Villagers! does any individual have any knowledge in using a hot tub at their household but not lined under a Lanai? Attempting to figure out if we must expend $eight-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio region and see Should the bugs/insects is going to be tolerable? (We'd predict most o