Hello fellow Villagers! does everyone have any experience in employing a very hot tub at their house although not lined underneath a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) over a Lanai extension or perhaps put in the recent tub on our BBQ patio spot and see If your bu