Hi Fellow Villagers! does any person have any working experience in using a hot tub at their property but not covered below a Lanai? Making an attempt to determine if we must shell out $eight-10k (ouch) on the Lanai extension or simply install the new tub on our BBQ patio https://marionkgcw.wikiannouncement.com/8179709/not_known_facts_about_izmir_tente