Hello fellow Villagers! does anybody have any experience in utilizing a incredibly hot tub at their home although not covered less than a Lanai? Trying to determine if we need to expend $8-10k (ouch) with a Lanai extension or simply put in the recent tub on our BBQ patio location https://raymonduvspj.wikinstructions.com/1376028/a_review_of_pergola