Hello fellow Villagers! does everyone have any working experience in employing a sizzling tub at their house but not protected below a Lanai? Trying to figure out if we need to devote $8-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio place and see When the bugs/insects will probably be tolerable? (We'd predict most