Hi fellow Villagers! does anybody have any experience in using a sizzling tub at their household but not covered less than a Lanai? Seeking to figure out if we must invest $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio location and see If your bugs/insects will be tolerable? (We'd forecast a lot of our Warm tub u