It was 9k ish new. Owner was not sure what the new old stock deck cost. I suspect he had had it for a long time and when I picked it up his place was really nice and pristine. Fully heated garage with in-floor heat.
I will admit I did buy it not knowing about the cam gear issue plaguing the 1997 year engine, and was sweating bullets until a dealer finally gave me the sept 2000 build date. I would have had to turn around and list it back for sale again if it had the plastic gear as that is not a job I would want.