Hello fellow Villagers! does anybody have any knowledge in utilizing a hot tub at their property although not lined under a Lanai? Hoping to determine if we need to commit $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio spot and see https://martinnspmi.wannawiki.com/511691/a_review_of_pergola