Not much damage, he knew what he was doing and did it quick. Just have to replace the locking pin which he punched off (
coin drawer, not a vault like I mentioned). Good thing was that I just recently cleaned out the quarters, so he got off with ~$20 or so.