Hi fellow Villagers! does everyone have any encounter in using a sizzling tub at their property although not covered less than a Lanai? Seeking to determine if we need to devote $eight-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio place and find out if the bugs/insects will be tolerable? (We would predict almost all