Was recently given a very nice working Marantz 2270 (thanks Pops). The only thing that doesn’t work are the lights for the tuner.

Should I replace with incadescents or LEDs? Pros/Cons? Does it matter?