Hi fellow Villagers! does everyone have any knowledge in employing a warm tub at their household although not included underneath a Lanai? Attempting to figure out if we have to shell out $eight-10k (ouch) on a Lanai extension or merely set up the hot tub on our BBQ patio place and see When the bugs