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? Striving to figure out if we need to commit $8-10k (ouch) on the Lanai extension or merely install the new tub on our BBQ patio https://titusepnkc.blogolenta.com/31083424/the-best-side-of-izmir-pergola