Thanks to everyone for your comments.
I bought the gun yesterday for $600. I double checked date code, and it is indeed KD (1993). I broke the gun down while sitting at my neighbor's kitchen table, and it is pristine. I'm confident it has never been fired. I've known him for over 30 years and did not want to insult him by trying to "negotiate" a lower price.
The gun and box look exactly the same as the one in the photos that Uncle Malice posted.
Since this is the first semi-auto I've owned, what gun oil/grease do you and others recommend for lubricating the slide and other moving parts?