Hi Fellow Villagers! does any individual have any experience in utilizing a incredibly hot tub at their home although not covered beneath a Lanai? Striving to determine if we need to commit $8-10k (ouch) on a Lanai extension or just put in the hot tub on our BBQ patio location https://raymondpvwxx.wikirecognition.com/1397524/5_essential_elements_for_pergola