Does anyone know how many cast id pins are being released? I thought there were only going to be 8. With Figment and Capt. Mickey released this morning there are presently 9. Will there be any others and if so do you know when they will be released. Thanks.