Cincinnati's unofficial holiday: What to know about Reds' Op