Searching for LED display HL-LED187G-A

[bitwelder]

Hello,

as per title, I'm looking for this 7-segment LED display, P/N should be HL-LED187G-A.

Is in use in a Samsung microwave, and after so many years it seems a bit dim, and if possible I'd like to replace it.
Googling around I can't find either the part for sale or its datasheet, only posts on various forums of other people that in the past tried to search for it.
Is that a custom part number made for Samsung?

The part is a green 7-segment LED, it has classic 4 digits format with the : colon in the middle.
I don't think it has any special symbol, and the pinout seems to be a SIL 13 on the display upper edge.