Hi Fellow Villagers! does anybody have any working experience in utilizing a incredibly hot tub at their home although not covered underneath a Lanai? Attempting to figure out if we must spend $8-10k (ouch) with a Lanai extension or perhaps put in the hot tub on our BBQ patio location https://izmirtente55173.wikiconversation.com/7142366/indicators_on_izmir_pergola_you_should_know