Hello fellow Villagers! does everyone have any experience in employing a very hot tub at their dwelling but not included under a Lanai? Hoping to figure out if we must shell out $eight-10k (ouch) on the Lanai extension or perhaps put in the recent tub on our BBQ patio place https://elliottctgqa.wiki-cms.com/7450221/pergola_options