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