Gave $800 bucks for my EATPM. Get him to look for a good offer, I'd advise him to get a game in a better state rather than a better one - less likely to be faulty and if it's his first pin he obviously lacks the know-how to fix it, so something durable is a much better option rather than looking for a specific game.