Hello fellow Villagers! does any one have any encounter in using a hot tub at their property although not protected less than a Lanai? Seeking to figure out if we need to shell out $8-10k (ouch) over a Lanai extension or simply put in the hot tub on our BBQ https://izmirtente25566.wikidank.com/1352886/the_basic_principles_of_izmir_tente