Hi Fellow Villagers! does any individual have any practical experience in utilizing a hot tub at their residence although not included less than a Lanai? Trying to determine if we need to spend $eight-10k (ouch) with a Lanai extension or merely install the hot tub on our BBQ patio space https://andrespvtce.wikidirective.com/7377337/5_tips_about_izmir_awning_you_can_use_today