This is certainly something I could fix, I think I may have just had an arbitrary number in there during testing that I never changed.
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.
