Hi fellow Villagers! does any individual have any practical experience in using a warm tub at their residence but not included less than a Lanai? Hoping to determine if we need to devote $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio space and find out When the bugs/insects are going to be tolerable? (We might