https://pinside.com/pinball/forum/topic/grand-lizard-flippers-died-in-game