Curious as I have seen this before. Do other, non-pinball game manufacturers piggy back on certain licenses that a pinball manufacturer gets? I ask because the games often come out around the same time as the pinball. I posted these two examples below, but I swear I have seen this with Stern titles too.
pasted_image (resized).pngpasted_image (resized).png