I bought my blue "N" serial number last year shortly after you bought your "S" serial number.
Mine like yours is ANIB with factory pieces.
I paid $1,500 and I believe that you paid slightly less.
You got the better deal but I am happy that I was able to get mine.
Now it is this year.
These original models with provenance are going up and bringing the others with them.
I don't even look at the Blue Book anymore.
If the OP is looking for a collector piece than I would suggest waiting for the unicorn to appear but be prepared to pay for it and act quickly.
If the OP is looking for a shooter AND this one checks out, I would go to 1K or so.
FWIW, I bought my blue 58 from forum vendor RGNewell who had several and was great to work with.