Hello fellow Villagers! does anyone have any experience in utilizing a hot tub at their home but not coated below a Lanai? Attempting to determine if we must shell out $8-10k (ouch) with a Lanai extension or maybe set up the new tub on our BBQ patio spot and see https://caidenzzuqj.wikicommunication.com/5272646/not_known_facts_about_izmir_tente