My pumps have not failed, there is normal wear at 6500 hours. There's nothing to clean up and no extra cost except the labour. A full rebuild means $10000-12000 of OEM parts, or more. I figure I can get away with $9000 in OEM parts, or less. The other option is $1300 in Chinese parts, or maybe...