If you offered me $2500 for my AFM after doing your research, I'd simply elect not to do business with you. I think the estimates on high end restorations I've seen here are in the ballpark. If you really want that specific pin, you can reach out to Hutchins or Keller and see if they'll source it for you. To some extent, it's important to start with a machine that has "the right things wrong" if you want to get a top-quality restoration out the other end, IMO.
Good luck and let us know how you make out.