Hello fellow Villagers! does anybody have any encounter in using a very hot tub at their dwelling but not lined less than a Lanai? Seeking to determine if we need to invest $8-10k (ouch) with a Lanai extension or perhaps set up the hot tub on our BBQ patio location https://tarpaulin72580.bloggactif.com/35405438/considerations-to-know-about-izmir-awning