Again offering arbitration depends upon the option. Given it has a buyout, that might mean the Brewers renounce their rights upon acting on the option. They could try to sign him then to another contract which is now possible under the new bargaining rules (under the old ones not really).