Hi fellow Villagers! does anyone have any expertise in utilizing a hot tub at their household although not included less than a Lanai? Striving to determine if we have to shell out $8-10k (ouch) on a Lanai extension or just set up the recent tub on our BBQ patio area https://izmirtente46665.wikifiltraciones.com/3664239/a_review_of_izmir_pergola