Yeah, they're obviously exercising their end of the option. Woodruff at $10MM (net) is a bargain. Woodruff will then decline, the Brewers will offer the QO, Woodruff will decline and he's a free agent.
I want nothing to do with him at that point. Completely unreliable. Great dude, great Brewer, no thanks anymore.