Hi fellow Villagers! does anyone have any experience in using a hot tub at their house although not included underneath a Lanai? Striving to determine if we need to spend $8-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio spot and find out https://fernandognljf.ziblogs.com/34185517/a-review-of-pergola