2 different sets of notched chipcos. Probably both unique.
$70 shipped for the set of 10.
$60 shipped for the set of 8.
$125 shipped for both. Email me if interested.
.

.