Hi fellow Villagers! does anyone have any encounter in using a very hot tub at their household but not included less than a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ https://izmir-awning24444.ja-blog.com/34271629/the-basic-principles-of-izmir-tente