User blog comment:AustinD-3/P1/@comment-7819820-20150608004936/@comment-4500149-20150608224613

If you look in the mascots.json file, there is a mascot ID and then a list of IDs for each mascot, which I believe are the penguin IDs they have used.