Every Roto-Mix I have see is 11,900, not sure why. Maybe the first people that did those based it off the base-game Kuhn mixer that was always 11,900. Thanks for considering the change.
