They were about $300 for a set of 16 about 15 years ago so I'm losing about $70 on the 9. Ed's guide shows them at $20 each. $11 a chip seems extremely fair to me.