If the PO was there before you the cover would be really dented up because the same cover goes back on at the end of the procedure.
A group in southern michigan found two 2008's that didn't have the pin! I wonder if Laminad's car (if it is not a 2008) has had a replacement ignition lock put in and I wonder when the mfr. started leaving out the precious pin & spring? The pin that would come out would look like these.....
https://scontent-b-ord.xx.fbcdn.net/...68269208_n.jpg or this one....
https://scontent-b-ord.xx.fbcdn.net/...73855135_n.jpg