Hello fellow Villagers! does any one have any practical experience in employing a sizzling tub at their house but not covered underneath a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ patio place https://izmirpergola40369.wikimeglio.com/9722014/everything_about_izmir_pergola