Hello fellow Villagers! does anybody have any expertise in utilizing a warm tub at their house but not included under a Lanai? Striving to determine if we have to commit $8-10k (ouch) on the Lanai extension or just set up the hot tub on our BBQ patio location and see https://izmir-awning41615.shoutmyblog.com/33309609/the-izmir-pergola-diaries