The four horsemen of neglected Pac-Man characters

How many of you knows know that the green ghost is Punky and not Funky?