$1000.00 to change PS pump pulley.

Lessee, they wanted big money to replace dealer-level parts on something that's 24 years old?

Nah, say it ain't so.

Sarcasm aside, I'm surprised they even looked at it long enough to give you a quote, and I'm guessing $6-800 of that quote was just a NOS pump assembly.