Hello fellow Villagers! does anybody have any expertise in using a scorching tub at their home although not covered less than a Lanai? Attempting to determine if we need to shell out $8-10k (ouch) over a Lanai extension or simply put in the hot tub on our BBQ patio place and see If your bugs/insects will likely be tolerable? (We would predict a lot