You are correct, as usual. I could be wrong, but there may be actual rounds from the mint, too. I never saw much reason to collect any of these while I have many hundreds of ASEs.