These would have been in use when the Mint closed in 1988.
One of them is not in TCR, if I looked correctly. I left my book for the lady that has them.
She had about 1/2 box of each, and will be listing on ebay soon.