https://pinside.com/pinball/forum/topic/was-there-ever-a-manual-for-pistol-poker