Hi fellow Villagers! does everyone have any expertise in employing a hot tub at their residence although not lined less than a Lanai? Hoping to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or maybe put in the recent tub on our BBQ patio https://zanderqlcti.wikidank.com/1352689/a_review_of_pergola