I saw a couple of those at the HGCA show last month. They were in pretty good shape it looked like, with box, and I'm thinking were $1,700 each.
Those two look pretty good, especially the blue hammer, screw and cylinder latch. Anything else that makes them "custom?"