Hi fellow Villagers! does any individual have any knowledge in using a warm tub at their property although not coated under a Lanai? Trying to figure out if we must devote $8-10k (ouch) over a Lanai extension or maybe set up the new tub on our BBQ patio region and see When the bugs/insects is going to be tolerable? (We'd predict the majority of our