I have a Code3 aluminum pulley which went bad. It didn't break like your EC pulley, mine wore out the rivets in a year. Keep an eye on that new pulley once it's installed, just in case.

Les