Not sure if anyone else already knew this but I just found out you can buy replacement pump motor for ABS module. Information on how to in revised manual page 40 and 41
Looks like this if for the TYPE E systems. Does anyone have these on buses? Most of the IC buses used the HPB unit. (twin motors and Accumulators) Still not available from Wabco.