5 million dollars, not hard to figure out. They gave Bradley 12 so... I am guessing this topic wouldn't be so prominent if Devin was pitching like last year. I am assuming the Brewers expected a better start from him. Not to mention they had to make the call on Knebel before they had any idea if there would be fans allowed.