Hello fellow Villagers! does anyone have any expertise in employing a hot tub at their house although not included less than a Lanai? Hoping to figure out if we must spend $8-10k (ouch) on a Lanai extension or perhaps install the new tub on our BBQ patio space and see https://devinhieas.wikiinside.com/1782147/the_basic_principles_of_izmir_tente