This is a replacement price card that I designed. I call it a "Credits card".
Print it out at 72 dots per inch and it should be the correct size.
I got the idea from Ken's web page at
http://www.pinballrebel.com/game/pins/card/card.htm