Hello fellow Villagers! does any person have any expertise in employing a very hot tub at their home although not included under a Lanai? Attempting to figure out if we need to devote $eight-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio https://sethhdxkr.bloggerswise.com/41364138/considerations-to-know-about-izmir-awning