Hello Fellow Villagers! does any one have any working experience in utilizing a hot tub at their house but not covered underneath a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio https://tarpaulin84949.dailyhitblog.com/39570219/a-review-of-izmir-pergola