Hello fellow Villagers! does any individual have any experience in utilizing a incredibly hot tub at their house but not covered beneath a Lanai? Seeking to figure out if we need to invest $eight-10k (ouch) on the Lanai extension or maybe set up the new tub on our BBQ patio https://izmir-awning28047.homewikia.com/11332859/not_known_facts_about_izmir_tente