My point is that all those measurement are supposed to have been made using the same measuring system, that is microphone, ADC, dummy head (if any), etc. Any differences from phones we know how they sound, should keep a relative proportion, so if the 009 has about 5dB of higher response at 4KHz than the 007, that should be something we could hear.
I for one can stand better a peak there than in the 5.5-9KHz range, but still not sure I want a pair of phones with 5 extra dB of response at 4KHz compared to the 007. We'll see.