Found it. Once you said outside the car I checked my folder. My key code card has a VIN sticker with a whole bunch of numbers on the face (I don't think that's important), then a handwritten 7-digit code on the back (part of which matches some handwriting on the VIN sticker on the face), and then below that is two printed letters (literally part of the card) and a typed 5-digit code, both of which are struck through with about 5 very thin red lines, maybe to discourage copying.
So, I think the key code is the struckthrough code, which again is in the format AA#####.