Hello fellow Villagers! does any individual have any experience in employing a warm tub at their household but not coated below a Lanai? Trying to determine if we need to expend $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio place and see In case the bugs/insects might be tolerable? (We would forecast almost all of