Of course, I would *
kill* to have 11.4 GPM at 2,500 RPM... but that's just me!
I do understand your distaste for running at sustained high RPM. It's awfully noisy, generates a lot more heat... and is wasteful in the sense that you are only *using* a small portion of all that fuel being consumed and power being generated. It will be interesting once you do increase RPM (after 100 hours?) to see where you end up settling... i.e., will 9 or 10 GPM be enough to make that 511 hum? Or will you want to give it everything its got to give???
Upgrading to the 7520 pump would probably neither be a cheap nor a simple drop-in. The suction and discharge ports will have moved enough so that your 4 lines will have to be "adjusted" as well. Could take some reworked or 7520 parts. Still, one would think it would add more overall tractor value and be a lot more user friendly than a PTO pump.

I'll bet it would cost a lot less from an Eaton Pump dealer than from a Mahindra dealer. And naturally, you would have to consider the tractor warranty issue.

That one issue alone could drive you to a PTO pump if more flow at a lower RPM level is still desired. Or could a 7520 pump be installed by a Mahindra dealer and still leave the warranty intact?

Hmmmmm...
Of course, as an aircraft mechanic, you probably have access to all sorts of contacts & resources and could probably relocate those hydraulic lines faster than I can check my oil!

Very cool.
Dougster