One other thought. What would it be worth with a name? I don’t know if I’d pay $7,000 with a name. It is what it is. A highly finished box lock, in a world which sells equal finished side plates for more than box locks.