Hello fellow Villagers! does everyone have any experience in using a very hot tub at their household but not protected less than a Lanai? Trying to determine if we have to shell out $eight-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio space https://tarpaulin33234.mappywiki.com/1380940/not_known_facts_about_izmir_tente