gbesq
路FYI, I paid $1,750 USD for mine, but it is a near mint collector grade example, it came with the original box and papers, and it was fully serviced just before I bought it at a cost of $750 and I have the dated paperwork from the watchmaker. OP, you can certainly find a very nice example for somewhere between what you paid and what I paid.