$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.