They did.
A pretty good production run of them were made. Here are the values left of that production run.
4.56, 4.63, 5.62, 5.72, 5.86, 5.95, 6.33, 6.49, 6.51, 6.6, 7.76, 7.94, 10.81, 10.82, 10.84, 13.98, 16.08, 16.15, 16.21, 19.55, 21.35
And they are now priced at close out prices.