So the Reds fire their manager