And E(X's deserved SAT score|X's measured SAT score; X is male) - E(X's deserved SAT score|X's measured SAT score; X is female) was, like, four points?

A 4 point adjustment (or more) across all candidates based solely on 1 binary variable (gender) and a trivial centuries-old bit of statistical reasoning seems like a fairly impressive output, and likely to make a difference on the margin for thousands of applications out of the millions sent each year.

I still think people's System 1 are likely to overestimate this difference if they know about the correlation more than underestimate it if they don't.

And your evidence for this is...?