Yay, my son found his keys. Now, while he’s home, I have to see if I can find a relatively cheap place to get a copy of the key.