Hello fellow Villagers! does everyone have any experience in employing a hot tub at their household but not protected under a Lanai? Striving to determine if we need to invest $8-10k (ouch) over a Lanai extension or perhaps set up the new tub on our BBQ patio area and see Should the bugs/insects will likely be tolerable? (We'd forecast a lot of our