The Mitch /25 is tough to track down as well so I can commisserate. Well done!
I collect Michael Jordan, Mitch Richmond, and Ohio State players (football and basketball) in OSU gear. I strongly prefer 90's-era cards and use newer cards primarily for trade bait!