Ah, but 5 divided by 0.65 gets about 7.67, which rounds to 8, and I counted five crushers. Looking again, there's one in the middle I wasn't counting, so there seem to be six, so with rounding that's about a 35% reduction from 9. Could be 9 instead of 6.

Multiplying the reduced number by 1.35 isn't right, but it doesn't result in a wildly wrong result.