Hi fellow Villagers! does everyone have any working experience in employing a hot tub at their dwelling but not lined beneath a Lanai? Trying to determine if we need to spend $8-10k (ouch) on the Lanai extension or simply just set up the recent tub on our BBQ patio place https://andreqpkgy.wikitelevisions.com/7395369/the_fact_about_izmir_pergola_that_no_one_is_suggesting