Hi fellow Villagers! does any person have any encounter in using a sizzling tub at their house although not included underneath a Lanai? Hoping to determine if we need to spend $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio place and see https://spencerlmifz.activablog.com/33241711/5-easy-facts-about-izmir-pergola-described