Hello fellow Villagers! does any person have any experience in using a scorching tub at their dwelling but not coated under a Lanai? Seeking to figure out if we need to expend $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://izmirpergola30369.wikihearsay.com/3329424/a_review_of_pergola