Hi fellow Villagers! does everyone have any experience in employing a hot tub at their property although not lined beneath a Lanai? Attempting to figure out if we must shell out $8-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio spot and see https://fernandoowfzr.blogadvize.com/41667879/pergola-options