From Stern FB...adding another potential teaser towards Turtles:
"Happy World Turtle Day! Looking back over the company history, our predecessor Stern Electronics made the arcade classic "Turtles" in 1981, and 10 years later in 1991 we made Teenage Mutant Ninja Turtles Pinball under the Data East label. Have you played either?
---Maybe the time has come for a new game involving turtles! [image of a thinking face] #SternPinball #WorldTurtleDay"