Son servos muy parecidos. 2Kg y 0.08seg a 4.8v el 9257 y 1.9kg y 0.09 el ds520
El ds520 tiene una ventaja, que es que opera también a 6v mejorando las prestaciones 2.5kg y 0.07.
Si la electrónica la llevas a 4.8, cualquiera de los dos te va a ir bien, pero optaría por el 9257 porque da más rendimiento.
Si operas a 6v, está claro, el ds520.
Yo usé un 9257 en un 450 y es muy buen servo.
Otra opción que monta alguna gente en los 500 es el 9254 con los soportes de servo del trex600...