Mine hadn't had the time to discolor yet - so went the bulb replacement route. These are the ones I used for the pancake lights - rated for 12-24V - which is important as the RV system will normally be running over 12V. I choose Warm White.
Currently pack of 10 for $18.88
A little stiff to insert (probably good - won't come loose) - need to support the connector when inserting and not the circuit board...
I have replaced 3 bulbs in 15+ months of use - so they aren't perfect... But with 13 double pancake and 2 single pancake lights in the coach interior - replacing all cost me $70 with 10+ bulbs to spare.
(I didn't replace the basement lights - as they are rarely on...)
MUCH cooler - especially the one pancake mounted vertically that definately didn't cool properly.