Looks like aftermarket wrenches are available on GunBroker in the $23 range. I don't think I would go over $275, and I don't think $250 would be unfair given the finish. I'm not basing this on blue book values or anything, just what I see guns go for in my area.