$1000.00 to change PS pump pulley.

There may be a metal pulley available, but I'm not totally sure on that one.
When I tried to pull the oem pulley off the oem pump 6 months ago the lip on pulley that the PS pump pulley tool pulls on ripped off.

I can get an OEM pulley but it had to come from Detroit and would take 5 days, interestingly it is the same price as aftermarket