I think it is just the photo but I haven't seen the gun in person.That's an odd finish. Is it just the picture? Looks like a matte finish almost. I thought they were all semi-polished. Assuming it's unmolested I'd start at $700. That would be a good price. They aren't hard to get new.
I wasn't looking for one at all but you know how that goes.