Hi fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their property although not included less than a Lanai? Trying to figure out if we must expend $eight-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio region https://edwinatjzn.wikimillions.com/3850339/5_easy_facts_about_izmir_pergola_described