Hello Fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their household but not lined less than a Lanai? Attempting to figure out if we have to spend $8-10k (ouch) on the Lanai extension or merely put in the hot tub on our BBQ https://ricardoerdpy.snack-blog.com/34075823/indicators-on-izmir-pergola-you-should-know