Hi fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their household although not included less than a Lanai? Striving to figure out if we need to spend $8-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ https://andreqfdes.creacionblog.com/33962028/fascination-about-pergola