Hello fellow Villagers! does any person have any practical experience in employing a hot tub at their property but not lined under a Lanai? Trying to determine if we must commit $8-10k (ouch) with a Lanai extension or merely install the new tub on our BBQ patio space and see https://trevorwvrmf.westexwiki.com/1358640/not_known_facts_about_izmir_tente