Hello fellow Villagers! does any person have any encounter in using a sizzling tub at their house although not coated under a Lanai? Seeking to determine if we need to spend $8-10k (ouch) over a Lanai extension or merely install the new tub on our BBQ patio region and see https://izmirawning73539.illawiki.com/1387641/izmir_pergola_an_overview