Yep...that's a bit high. That's probably about an $800 gun on the higher end, IMO.

Is that some cold blue touch-up on the rear corner of the slide?

I have a 1981 vintage version of that exact gun. One of my favorites.