I kinda doubt the 9 gerr was a glitch... That's very obtainable on 5-2 shift. I know three people that have done it. All 3 survived. 1 has a noisy engine now, but still run fine and no visable damge was done (with valve cover removed), the other two survived just fine... 13,xxx is obviously a glitch---- 9,xxx I think is a bad shift, IMO...
If the engine sounds ok, it's probably fine...
2 more pennies
Phil