Hi fellow Villagers! does any person have any encounter in using a warm tub at their household but not included less than a Lanai? Trying to determine if we need to expend $eight-10k (ouch) on the Lanai extension or maybe put in the recent tub on our BBQ patio place and see Should the bugs/insects will likely be tolerable? (We'd predict a lot of ou