Hello fellow Villagers! does any individual have any expertise in employing a hot tub at their home although not included less than a Lanai? Attempting to determine if we need to expend $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio space https://donovanzcaxs.hyperionwiki.com/1239630/tarpaulin_secrets