Hello fellow Villagers! does any individual have any experience in using a warm tub at their residence but not protected less than a Lanai? Hoping to determine if we need to shell out $eight-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio space and see Should the bugs/insects is going to be tolerable? (We might fore