Hello fellow Villagers! does any one have any working experience in utilizing a very hot tub at their residence but not coated underneath a Lanai? Trying to determine if we need to devote $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio spot https://remingtonllifb.wikihearsay.com/3317594/not_known_facts_about_izmir_tente