The team's name has even changed over the course of time: from the "Red Stockings" to the "Reds" to the "Redlegs" and then ... which also covers entry to the Cincinnati Reds Hall of Fame and ...