Actually I've just thought and I think EdingCNC is limited to 125Khz frequency. In which case you won't get the full 2000rpm from those motors with 2500ppr encoders. You'll only get 750rpm unless you use electronic gearing using the drives, if they have that feature.

For the full 2000Rpm you'll need a frequency of 333khz.