The 2525 is pretty solid machinery but yeah, those Chinese market variants can be tricky to source parts for. Have you tried reaching out to Mahindra dealers in your region directly rather than ordering online. Sometimes they can special order or point you toward the right distributor even if it's not in their regular inventory. What year is yours and do you know if it's the original pump or a replacement that's giving up. That might narrow things down a bit.