Hello fellow Villagers! does everyone have any encounter in utilizing a hot tub at their home but not covered under a Lanai? Seeking to determine if we have to commit $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio location and see https://izmir-awning93579.wikimeglio.com/9734649/tarpaulin_secrets