Hi Fellow Villagers! does any individual have any practical experience in employing a incredibly hot tub at their home but not lined less than a Lanai? Trying to figure out if we must devote $8-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ https://andyfgbvp.blogars.com/33071566/izmir-pergola-can-be-fun-for-anyone