Hi fellow Villagers! does any individual have any expertise in employing a hot tub at their house but not protected beneath a Lanai? Hoping to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio location and find out In the event the bugs/insects might be tolerable? (We might pr