Yes, this is true. 8MHz at those speeds are worth about .02 secs, which would make a ranking difference. It still is a great time for 500MHz 1:1.
I've been letting before sit up there with 3.6MHz too much just because I know he'd have tops regardless, but its probably about time he rebenches a notch lower as well just for the sake of propriety.
Bookmarks