Impossible to say because Stern don't publish production numbers.
According the the operators I've spoken to, it is definitely not going to be TWD, as they are not buying them in the numbers they did for AC/DC (price hike backlash).
Going on the number of games available these days - Terminator 3 or Striker Extreme would be my guess.