Just picked up an original (red) Spider-man - got a few spotlights out, right hand backboard flasher, and green goblin flasher - should I replace the flashers with LEDs? Do any of you know which original bulbs I should order? Kind of hard to tell in the manual for those two flashers.