Hi fellow Villagers! does everyone have any practical experience in utilizing a warm tub at their home although not included under a Lanai? Trying to figure out if we must devote $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio location and see When the bugs/insects will probably be tolerable? (We might forecas