No, not that Hall of Fame. Not yet. Barry Larkin, a star at Michigan, has been elected to the College Baseball Hall of Fame. (Tip of the cap to C. Trent.)

Congrats, Barry. Now come back to work for the Reds, please.