In case it helps, the LED drivers seem to be PAM2681 , a 1A max step-down led driver:
https://www.diodes.com/assets/Datasheets/PAM2861.pdfIt looks like the max current resistor is 0.14 ohm which would mean the led driver at 100% brightness would allow a current of I = 0.1 / Rs = 0.1 / 0.14= ~0.71A (datasheet says 0.13 ohm = 0.76A on page

Looks like there's 6 led drivers, so I can only assume it's 36 / 6 drivers = 6 leds per driver ....
I don't see the output voltage of the power supply, but I can only assume it's 20-24v or something like that, because the led drivers are 40v max and there's only 6 leds ... 6 x 3v..3.2v is around 18v, making 24v more realistic than 6 x 6v forward voltage leds, because that would mean at least 38v or so input voltage.
You can also see figures 2 and 5 on page 5 in the datasheet, where they use 0.15 ohm resistor and 47uH inductor, and which shows 24v as good voltage for 6 leds.
With around 0.7A current, you'd be looking at 3.2v x 0.7A = 2.25w per led, not 3A ...but who knows.
As for leds themselves ... I'd look at digikey, mouser, newark, other big sites ... you have to figure out that package shape, you have the beam angle 25 so you can filter by that
On Digikey I see 2-SMD with gull wing as a potential package type, but there's only some 700mA max leds with wide lens (140 degree), for example here's a blue one :
https://www.digikey.com/en/products/detail/broadcom-limited/ASMT-AB31-NMP00/2347268As you can see, 3.2v forward voltage, max 700mA
Here's some red leds, but not in stock and also wide angle :
https://www.digikey.com/en/products/detail/seoul-semiconductor-inc/R42180-01/2504442