Not too much difference in logic probes when testing older equipment like pinballs. BK Precision makes a decent one. Also, Elenco or Tenma are OK. HP makes a good one, but not worth the extra expense in my opinion.
The Tenma manual sucks (but there's not a lot you need to know anyways), not sure about the Elenco.
Depending on how the lights are used some peopler prefer one brand over another, but they all give the info you need.
I would not go with one that has batteries in it. It limits your purchasing options and doesn't add anything. There's always Vcc and ground test points available. In fact the fancier models will set TTL/CMOS based on the input voltages.
If you want to be able to inject a signal into the circuit get one with a pulser.