I'd have to agree... Maintenance would be your best bet, and have your ticket stub in-hand for specifics. Thousands of people have been in the vicinity of your lost keys since you last had them. Good luck to you; you'll get them.
They have a lost and found. Id go up there. Talk to the person at the ticket booths or catch one of the many maintenence men that are there cleaning every day. Nationwide Police are Everywhere. Call or Stop one. They will give you more information on where to call or where to go to find lost and found. I lived in the Arena Distict. Most fun in Columbus Ever. Good luck to you. 👽
Maintenance maybe?
Thanks! Your answer is awaiting moderation.