This is a replacement price card that I designed.
I call it a "Credits card".

Print it out at 144 dots per inch and it should be the correct size.

I got the idea from Ken at
http://www.pinballrebel.com/game/pins/card/card.htm