Hello fellow Villagers! does any one have any experience in employing a incredibly hot tub at their house but not covered under a Lanai? Trying to figure out if we have to devote $8-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio https://kameronuwtne.dekaronwiki.com/1360020/indicators_on_izmir_pergola_you_should_know