Hi fellow Villagers! does anyone have any practical experience in using a sizzling tub at their property but not covered under a Lanai? Hoping to determine if we must devote $8-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio space and see If your bugs/insects is going to be tolerable? (We would forecast almost a