Hello fellow Villagers! does everyone have any expertise in employing a scorching tub at their home but not coated below a Lanai? Trying to determine if we need to invest $8-10k (ouch) on a Lanai extension or perhaps put in the hot tub on our BBQ patio space and see https://izmir-awning03689.wikimidpoint.com/5064948/a_review_of_pergola