Are you saying that's a good or bad lead choice or it just is what it is for comparison?
Some of the Nema 23s, low inductance, and the highest voltage power supply can do OK at higher RPMs. 30 ips2 is about 0.077G and that is a very light gantry, especially if it includes everything with the gantry including Z axis, motors, everything that moves back and forth.
I think you could do much better with 10mm. I would need a torque vs speed graph and motor rotor inertia number to definitively determine that. Then I could calculate it, and we would know for sure.