Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their household although not included less than a Lanai? Attempting to determine if we need to shell out $8-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ https://izmirawning49156.sharebyblog.com/33834609/the-fact-about-izmir-pergola-that-no-one-is-suggesting