Hi fellow Villagers! does everyone have any knowledge in utilizing a warm tub at their household but not coated under a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) with a Lanai extension or merely install the hot tub on our BBQ patio place and see In case the bugs/insects will probably be tolerable? (We'd forecast the maj