**** Allen and Dave Parker have been elected into the Hall of Fame. Allen was one of the greatest hitters in MLB history finishing with a 156 OPS+ lifetime. That is 18th best ever. He deserves it.
Parker was a Hall of Fame talent for a few years before he blew out his knee, but he didn't have enough years and I think he was a weak pick. He is kind of in the Jim Rice class as far as peak versus career. He was a better player than Rice, but just not enough years.