Putting this here for future reference:
I had white LEDs go out on the rings disk board. I saw some threads about replacing them. But the links were outdated. I bought these in frosted:
https://smile.amazon.com/gp/aw/d/B09B9DP4M6
They worked great. Note that the long leg went in the circle pad side. They were bright but not overwhelming.
The old leds desoldered easily. It was a simple fix and cost like $5. The boards seemed to be sold out everywhere.