Hi fellow Villagers! does everyone have any encounter in employing a hot tub at their house although not included beneath a Lanai? Trying to determine if we need to expend $eight-10k (ouch) on the Lanai extension or perhaps install the new tub on our BBQ patio location and see If https://trevorapbnw.wikinstructions.com/1364934/pergola_no_further_a_mystery