Owner should sell them individually to get top dollar at $5000 each. But that would take time and effort. Whole idea of selling as group is to sell for cheaper price as is to make one easy deal. $15000 may be a bit lowball but I wouldn't be over $17000 unless you really wanted the pins.