Hi fellow Villagers! does any individual have any experience in employing a warm tub at their property although not coated less than a Lanai? Hoping to determine if we must devote $eight-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio place and find out In case the bugs/insects will probably be tolerable? (We wou