One of the souvenirs from the musical was this set of 8 "finger puppet" trading cards. According to the person I recently purchased them from, the individual cards were not sold to park-goers but were distributed randomly and handed out free.
They're punch-out cards where the characters can be removed along the perforated lines. With two slits near the bottom, your finger or a pencil can be inserted to create finger puppets. Like regular trading cards, each measures approximately 3 1/2" x 2 1/2".
The backside of each card is identical except for the alignment of the finger puppet instructions. The individual words are adjusted to fit within the differing perforation patterns.
All images from the Filmic Light collection.