Hello fellow Villagers! does everyone have any knowledge in utilizing a very hot tub at their dwelling although not lined beneath a Lanai? Trying to determine if we must invest $8-10k (ouch) on a Lanai extension or simply set up the hot tub on our BBQ patio spot and see https://tarpaulin21985.wikitelevisions.com/7383154/a_review_of_pergola