None of the above. Look into AIQ Avengers Infinity Quest or Godzilla. Pros on either. Turtles is not an easy game especially for a 9 year old. Houdini has tight shots. Godzilla or Avengers will bring you more fun and easier for your kid.
Try before you buy if you can.
If you want a Godzilla pro lmk I know someone getting some in soon. Also American Pinballs have horrible resale value. There’s a reason you can still by all of their pins and are in stock