While at the airport earlier, some overseas nationals were asking for the new $1 coin and I overheard a few shopkeepers informing them they were out of them by noon today...? Can't find anything about it. Was there some type of issue/release..?