Hi fellow Villagers! does everyone have any experience in employing a hot tub at their household but not included less than a Lanai? Trying to figure out if we need to expend $8-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio place https://tarpaulin72716.nizarblog.com/34295853/pergola-things-to-know-before-you-buy