21
https://pinside.com/pinball/forum/topic/pin-raid#post-1227078
I think it would be hard to find a buyer for 10 high end pins as a group. Large group buys usually come with some kind of discount. Best to sell them individually as they shouldn't be hard to sell as long as they are not priced to the moon.