Hello fellow Villagers! does anybody have any working experience in using a warm tub at their dwelling although not protected underneath a Lanai? Hoping to determine if we need to invest $eight-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio space and see if the bugs/insects is going to be tolerable? (We might predi