$1000.00 to change PS pump pulley.

Wonder if pulley cracked during first install?
Ne pump, new pulley, bet it was a bear to assemble.