Almost everyone's salary / bonus is exactly market, because it was by definition set by the employment market. It was market when before the $7500, and market afterwards.
I'm not being pedantic and missing the point that you mean 'market average', because employment is not commodity purchase - so market average isn't meaningful unless you're painting with very, very broad strokes.
That's only true if their base salary/bonuses are $7500 below market, which I doubt is the case.