Buzzy was an electronic "cookie cutter" that was in the shape of a gingerbread man, and probably roughly 8 1/2 x 11 inches. He had a router-type bit in the middle of him and I think you turned it on with his nose.
Included with Buzzy were plastic shapes. You placed one on top of a Graham cracker and that was the guide that allowed you to grind the cracker to that shape.
Then, frost and voila! You've got yourself a choo-choo shaped, frosted Graham cracker!