Are any numbers available for the number minted? Is there a max total that will be made, or just however many are ordered? Is it possible to know how many of the 12.5's were made?