As is often noted, condition is everything and, not to be out-of-line, but routed does not mean much to me as it may be in fantastic condition. From what I have seen, expect to pay at least $10,000 but if it is in good shape then I would not be surprised if the pin sold at $12,000 or so in today's market.
All the best with your decision!