Hello Fellow Villagers! does any individual have any knowledge in employing a very hot tub at their house although not lined less than a Lanai? Hoping to determine if we need to expend $8-10k (ouch) with a Lanai extension or merely set up the recent tub on our BBQ patio https://keegancxumb.ourcodeblog.com/34269751/detailed-notes-on-izmir-pergola