That is ******* weird, dude. How old was the pump? Had the belt ever been too tight, even if it wasn't at that time? Maybe the fan wasn't mounted perfectly straight and got out of balance? At 4000 rpm that would create some pretty high torsional stress.
That sucks, though. Kind of an expensive little deal.....
