Hello fellow Villagers! does any person have any experience in utilizing a warm tub at their house although not coated underneath a Lanai? Trying to determine if we must commit $eight-10k (ouch) on the Lanai extension or maybe set up the new tub on our BBQ patio location and find out if the bugs/insects might be tolerable? (We'd predict the vast ma