That's what I was thinking (marketing), but it is odd they would be listed as so high, no? I have seen 600hz (KDE???), but never higher than that. And was pretty sure that the rest of the system wouldn't accept any advantage above 400hz (or I guess 500hz?) anyway.
Regardless, econfly knows...