Hi fellow Villagers! does anyone have any practical experience in utilizing a incredibly hot tub at their household although not included less than a Lanai? Seeking to determine if we must devote $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio space https://tarpaulin82009.wikicarrier.com/507153/izmir_awning_secrets