Get a 9254, the 9253 is no longer being made. Did your 9253 get destroyed in the crash or did it just die? There have been a number of 9253 failures (none of mine thank goodness). I think that's why they did some mods and came up with the 9254.

Some folks use 9250 or 9252 servos with the 401. Personally, I'd go with a 9254 over those (on the tail at least).

Ben