Hello fellow Villagers! does any individual have any practical experience in employing a incredibly hot tub at their dwelling but not included less than a Lanai? Hoping to determine if we need to commit $8-10k (ouch) with a Lanai extension or maybe put in the recent tub on our BBQ https://izmirawning61480.thelateblog.com/34636154/izmir-pergola-an-overview