Slight update to my post. That original link is incorrect, and this is the correct item:
https://au.rs-online.com/web/p/ir-leds/1713858/
Although functionally the same, the other ones are slightly the wrong size and required a bit of fiddling to get them in. The link in this post is the...