Quoted from Homepin:Just use 1N4007 for everything and you won't have any problems.
Many years ago there was a price difference but these days an 1N4001 costs the same as a 1N4007 so why bother with the lower rated parts?
He didn't buy either of the diodes, the first came with the game and the second one came with the replacement coil (like usual), I would easily assume - not his fault but rather the supplier or coil manufacturer