Hi fellow Villagers! does any person have any practical experience in utilizing a warm tub at their household although not included under a Lanai? Trying to figure out if we need to commit $eight-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio place and find out if the bugs/insects will be tolerable? (We might predi