Yeah those are some pretty awesome highlights from that lot! I'd be curious how much the lot was as well...and if you got any earlier (90's) MJs that might be for trade.
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!