Hello fellow Villagers! does any one have any working experience in using a hot tub at their house although not lined beneath a Lanai? Seeking to determine if we must spend $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio location and see In case the bugs/insects are going to be tolerable? (We'd predict the vast