Hi fellow Villagers! does any person have any knowledge in employing a hot tub at their residence but not protected below a Lanai? Striving to determine if we need to invest $eight-10k (ouch) on a Lanai extension or perhaps set up the hot tub on our BBQ patio location and see if the bugs/insects is going to be tolerable? (We'd predict the vast majo