If you keep it with your spare tire wrench, they probably used that one.
They might have wheel lock keys. There's different brands though. I use Gorilla wheel locks which are different than McGard wheel locks There are four different Gorilla wheel lock key sizes.
The easiest thing to do is to visually look at your rotors. New ones have no rust on the edges or hat area (section that is raised and contains the bolt holes.