Here's what I'm seeing on Mouser Electronics for replacements...
Option 1: ETD44 size, 20.8 amp, 475uH inductance, 12V, 250W
Option 2: ETD44 size, 5.2 amp, 400uH inductance, 48V, 250W
Option 3: ETD44 size, 10.4 amp, 400uH inductance, 24V, 250W
My gut says go with the 12V as that seems to be most common...