They look similar in size to THESE, now shown as out of stock, but the spec is there.
The download sheet points to MARL Optosource which is a UK company.
Your final choice of LEDs might come down to what driver/PSU you have fitted; some of the higher powered ones use a constant current source.
You might find that a voltage stabilised PSU for one replacement with conventional lower powered LEDs is sufficient, since you have 20 of them.
Are they all wired in parallel, or do you have a number of parallel circuits, each composed of several LEDs in series?
I'm guessing you will need to measure the voltage output from the driver under load, and also the max current supplied, and then select replacements as appropriate, bearing in mind the limits of your power supply.
Lower powered "normal" LEDs are likely to work off a constant voltage source.
Bowood Electronics might be worth contacting, and they are reasonably local.
Bill