Hi Fellow Villagers! does any one have any practical experience in employing a hot tub at their residence but not coated less than a Lanai? Trying to determine if we need to expend $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio https://damienycmua.jts-blog.com/33083381/fascination-about-izmir-pergola