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.