https://pinside.com/pinball/forum/topic/font-gurus-for-an-old-bally