They certainly may have, but the fact is that tempos did not jump 10 BPM overnight, they show a pretty steady increase in speed over the years consistent with the +8 adjustment.
What's crucial here, I think, is not that some DJs may have altered their decks, but rather that the 1200 is a...