Hi Fellow Villagers! does anybody have any knowledge in employing a incredibly hot tub at their dwelling but not lined under a Lanai? Hoping to figure out if we have to invest $eight-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio spot https://izmirpergola19639.digitollblog.com/34017887/izmir-pergola-an-overview