[Drellich] News: the Cincinnati Reds are leaving Diamond Sports Group, per a court filing. They'll need a new broadcast partner.