Hello fellow Villagers! does any individual have any practical experience in employing a very hot tub at their home but not coated under a Lanai? Seeking to determine if we must shell out $eight-10k (ouch) with a Lanai extension or maybe install the hot tub on our BBQ patio space and see if the bugs/insects will likely be tolerable? (We'd forecast