Hi Fellow Villagers! does any one have any experience in utilizing a hot tub at their house but not covered beneath a Lanai? Seeking to determine if we have to invest $eight-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio location https://lorenzoguqvf.scrappingwiki.com/1362107/everything_about_izmir_pergola