Hello fellow Villagers! does any individual have any knowledge in employing a hot tub at their household although not covered less than a Lanai? Making an attempt to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ patio spot and see When the bugs/insects might be tolerable? (We