I'm guessing they'll get at least decent savings here. Brady got 93% of the bonus at 32 last year, but he was higher in the collective rankings than Trey is this year.
My guess is Trey gets 85% of the bonus, which would put him around $3.1 million. So that would be about a $500-600K savings.