Hello fellow Villagers! does any person have any expertise in employing a hot tub at their home although not included below a Lanai? Seeking to determine if we have to expend $eight-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio place and see If your bugs/insects will probably be tolerable? (We'd forecast the va