Fans came up with the name Pokey Pierce, but in official merchandise, he's usually called Royal Pin.