Hello Fellow Villagers! does anyone have any working experience in using a incredibly hot tub at their home although not covered underneath a Lanai? Trying to determine if we need to spend $eight-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio spot https://louisvvrni.wikihearsay.com/3323021/the_fact_about_izmir_awning_that_no_one_is_suggesting