Well I can say from experience that a 5513 with a Gloss dial will leave you lukewarm and still desiring a true Matte dial vintage Rolex. $3400.00 with the box and bracelet is about right. Don't get me wrong, it is a very nive watch and in very good condition. A couple of things: The over polish on the clasp/case, broken box.
However, a newer 14060 or 14060M can be had at that price with all boxes, papers and in the case of the 14060M, a much better movement.
I don't know if I have helped, but the important thing is for you to feel that your money has been well spent.
Good luck,
Kurt.