Hi fellow Villagers! does anybody have any experience in using a very hot tub at their household although not coated beneath a Lanai? Seeking to determine if we need to invest $8-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio region and see if the bugs/insects will be tolerable? (We'd forecast almost all of our Sizzl