Nope.
In fact I don't want a single theme that's already been done to be redone. Are we so desperate for licenses that we need more of the same? We already got a second POTC game, and now apparently people are dying for a second GNR? Whole universe of themes out there, and we gotta repeat them in the limited world of pinball, where only a handful of games come out every year?