Hi fellow Villagers! does anybody have any experience in using a very hot tub at their house but not included under a Lanai? Attempting to figure out if we must commit $eight-10k (ouch) over a Lanai extension or maybe install the hot tub on our BBQ patio place and see https://izmir-tente47666.blogoxo.com/34230232/a-review-of-izmir-pergola