Hello fellow Villagers! does any one have any knowledge in using a warm tub at their household but not coated beneath a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio region and find out If your bugs/insects is going to be tolerable? (We'd forecast nearly all