if you have sticker shock maybe go over your broken motor again to be sure its damaged , if its out of the game you apply 12 volts to the motor to see ? if the motor is shot for certain i would not hesitate spending 400 on a 3000 machine if thats all that wrong with it , with pinball parts it seems like availability of the part might concern me more than the price
and if the part is an upgraded version than you can at least feel good you have bulletproofed the dead world motor and gear box