FWIW, by several measures they’re down about 5dB or more at 2KHz.
P.S. I actually like deliberate deviations from neutral to achieve specific effects. Every headphone that I’ve liked and tried to EQ exactly to a Harman target has sounded the worse for it and usually lost whatever I liked about it. Smaller corrections like yours that make the deviations less extreme but keep the essential character of the headphone I find much more pleasing. My best example of this is my old LCD2C. That thing had an extremely recessed upper midrange, which contributed to its laid back warm/dark character. It was too much for my taste, so I usually EQ’d it up, but when I tried EQ’ing it all the way up to Harman using something like oratory1990’s measurements from Reddit, it threw off the overall balance and sounded awful.