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

Mascot IDs are different from penguin IDs though.