Hello fellow Villagers! does any one have any expertise in utilizing a warm tub at their house but not lined underneath a Lanai? Trying to determine if we have to shell out $eight-10k (ouch) with a Lanai extension or perhaps set up the recent tub on our BBQ patio area and see When the bugs/insects will be tolerable? (We'd forecast most of our Very