This minor disagreement will be moot in a few years, I'm thinking. There are just too many good reasons to illuminate with LED's.
For those shopping for them, there are more than a few threads about either whole rig conversion or picking some for specific task lighting. I'd suggest to buy cheap ones from Asia and only a few to test for compatibility. After testing, a guy can make a volume order or mix and match to achieve the best use.
FWIW, the inexpensive panel mounted LED's I bought three years ago are all still doing fine and no RFI. My 12V system sees 14.6 V every day.