Hello fellow Villagers! does any individual have any experience in employing a hot tub at their residence but not covered underneath a Lanai? Making an attempt to determine if we must shell out $8-10k (ouch) on the Lanai extension or perhaps put in the hot tub on our BBQ patio https://emiliotuapq.eqnextwiki.com/4848980/everything_about_izmir_pergola