I thought it made 9250rpm on a 10x6?

That would make it 1250rpm less than the claims, and on pair with other .15 diesels. Perhaps not a myth busted but certainly a marketing bluff being caught. I would prefer to think of it as a missprint though.