I made some good tips today at work so I walked over to the LCS to do some coin shopping. Today they had quite a few of these 25 centavos and I decided on this one. Looks like there were 300,000 minted.