at the risk of opening a whole can of worms regarding nanometres and sensitivity, let me just say that ANY IR LED will be fine as long as it works. These are non-critical in their spec (the opto receivers on the other hand are a bit more finicky as substitutions may cause odd behaviour).

In a pinch I have pulled an IR LED from an old VCR remote for the ball trough in my IJ, it has worked fine for years now!

Cheers
Jacob