No info as to what these were for.
I have an un-notched set for $25 shipped and a notched set for $18 shipped.
Email me or post a sign here if interested.
.

.