Hello Fellow Villagers! does everyone have any experience in using a very hot tub at their household but not lined less than a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ patio https://rowanhgcuo.theobloggers.com/40395791/not-known-facts-about-izmir-pergola