Hi fellow Villagers! does anyone have any practical experience in utilizing a warm tub at their house although not included under a Lanai? Trying to determine if we need to shell out $eight-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio spot and see If your bugs/insects will be tolerable? (We'd forecast a lot of our