Hi fellow Villagers! does any one have any encounter in utilizing a hot tub at their dwelling but not lined below a Lanai? Hoping to determine if we need to commit $eight-10k (ouch) with a Lanai extension or simply just set up the new tub on our BBQ patio place and find out When the bugs/insects is going to be tolerable? (We'd predict the vast majo