Hello Fellow Villagers! does anybody have any practical experience in employing a incredibly hot tub at their property although not included less than a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) on a Lanai extension or maybe put in the new tub on our BBQ https://izmirpergola46788.wikievia.com/10403253/izmir_pergola_an_overview