Hi fellow Villagers! does any one have any working experience in employing a warm tub at their property but not lined less than a Lanai? Striving to determine if we must expend $8-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio spot and find out if the bugs/insects is going to be tolerable? (We might forecast the majo