Keys with blue lanyard and turtle charm

I found a set of keys this morning around 8:15am in the parking lot behind the CMU Student Activity Center on Main Street in Mount Pleasant. They’re on a blue university lanyard with a tiny turtle charm and a brass tag engraved with 'MP'. There’s a red silicone key cover on one of the keys, and a somewhat battered house key that sticks a little when turning. I figured someone might be missing them after a class or a club meeting. If you recognize these, I’m happy to meet near the Student Union to return them and get them straightened out.