Hello fellow Villagers! does anybody have any practical experience in using a warm tub at their home although not protected below a Lanai? Hoping to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ patio region and see If your bugs/insects will probably be tolerable? (We would pre